-1)$ undiagonalized matrix block $(**)$ above, together with a simple induction argument, we obtain plane unitary transformation $T_{n1},\ldots, T_{n,n-1},
T_{n-1,1}, \ldots, T_{n-1,n-2},\ldots, T_{31}, T_{32}$ and $T_{21}$ such that $$T^*_{21}T^*_{31}T^*_{32}T^*_{41}\ldots T^*_{n-1,1}\ldots T^*_{n-1,n-2}
T^*_{n1} \ldots T^*_{n,n-1}V = \left[\begin{matrix}
d_1\\
&d_2&&0\\
&&\ddots\\
&0&&d_n\end{matrix}\right]=D,$$ where $d_j = e^{i\alpha_j}$ for $j=1,2,\ldots, n$.

Therefore $$\begin{aligned}
V &= T_{n,n-1}, T_{n,n-2}\ldots T_{n1} T_{n-1,n-2}\ldots T_{n-1,1} \ldots
T_{32} T_{31} T_{21}D\\
&= \left(\prod^n_{i=1} \prod^{i-1}_{j=1} T_{i,j}\right)D\end{aligned}$$ and (\[eq12a\]) is proved.

References {#references.unnumbered}
==========

1.  \[Ba\] A. Barenco, C.H. Bennett, R. Cleve, D.P. Divincenzo, N. Margolus, P. Shor, T. Sleator, J.A. Smolin, and H. Weinfurter, Elementary gates for quantum computation, Physical Review A, 52(5) (1995), 3457–3467.

2.  \[Cl\] R. Cleve, A. Ekert, C. Macchiavello and M. Mosca, Quantum algorithms revisited, Proc. R. Soc. London A 454 (1998), 339–354.

3.  \[Ek\] A. Ekert, Quantum interferometers as quantum computers, Phys. Scripta T
-1)$ undiagonalized matrix block $ (* *) $ above, together with a simple induction controversy, we receive plane unitary transformation $ T_{n1},\ldots, T_{n, n-1 }, 
 T_{n-1,1 }, \ldots, T_{n-1,n-2},\ldots, T_{31 }, T_{32}$ and $ T_{21}$ such that $ $ T^*_{21}T^*_{31}T^*_{32}T^*_{41}\ldots T^*_{n-1,1}\ldots T^*_{n-1,n-2 } 
 T^*_{n1 } \ldots T^*_{n, n-1}V = \left[\begin{matrix } 
 d_1\\ 
 & d_2&&0\\ 
 & & \ddots\\ 
 & 0&&d_n\end{matrix}\right]=D,$$ where $ d_j = e^{i\alpha_j}$ for $ j=1,2,\ldots, n$. 

 Therefore $ $ \begin{aligned } 
 V & = T_{n, n-1 }, T_{n, n-2}\ldots T_{n1 } T_{n-1,n-2}\ldots T_{n-1,1 } \ldots 
 T_{32 } T_{31 } T_{21}D\\ 
 & = \left(\prod^n_{i=1 } \prod^{i-1}_{j=1 } T_{i, j}\right)D\end{aligned}$$ and (\[eq12a\ ]) is prove. 

 References { # references.unnumbered } 
 = = = = = = = = = = 

 1.   \[Ba\ ] A. Barenco, C.H. Bennett, R. Cleve, D.P. Divincenzo, N. Margolus, P. Shor, T. Sleator, J.A. Smolin, and H. Weinfurter, Elementary gates for quantum calculation, Physical Review A, 52(5) (1995), 3457–3467. 

 2.   \[Cl\ ] R.   Cleve, A. Ekert, C. Macchiavello and M. Mosca, Quantum algorithms revisit, Proc.   R.   Soc.   London A 454 (1998), 339–354. 

 3.   \[Ek\ ] A. Ekert, Quantum interferometers as quantum computers, Phys.   Scripta T
-1)$ unfiagonalized matrix blocy $(**)$ above, togethgr with e simpls inductkon argument, we obtain plane ubitart transformation $T_{n1},\ldogs, T_{n,n-1},
T_{n-1,1}, \pdots, T_{n-1,b-2},\ldous, T_{31}, T_{32}$ and $T_{21}$ such that $$T^*_{21}T^*_{31}B^*_{32}C^*_{41}\ldota T^*_{n-1,1}\lbovs T^*_{n-1,n-2}
T^*_{n1} \ldots J^*_{n,n-1}V = \left[\becin{matrix}
d_1\\
&d_2&&0\\
&&\ddods\\
&0&&a_n\znd{matrix}\right]=D,$$ where $d_j = e^{i\alpha_j}$ fjr $j=1,2,\ldoys, n$.

Therefore $$\bedin{akygnes}
N &= T_{n,n-1}, T_{n,n-2}\ldots T_{n1} T_{n-1,n-2}\ldots T_{n-1,1} \mdots
T_{32} U_{31} T_{21}D\\
&= \left(\prod^n_{i=1} \prpd^{i-1}_{j=1} T_{i,j}\right)D\end{aligned}$$ ajd (\[ee12a\]) is proved.

Referejces {#referebces.tbnumbered}
==========

1.  \[Bx\] A. Barenco, C.H. Bennett, R. Cleve, D.P. Divincenzo, N. Margoljs, P. Xhor, T. Sleqtir, U.D. Smolin, anv H. Wepnfurter, Elemcmtary cates fpr quantum comiutatmon, Physical Review A, 52(5) (1995), 3457–3467.

2.  \[Cl\] R. Cleve, A. Ekert, C. Macchidvzllo and M. Mosca, Quanrun algmritvms fwvirittd, 'rod. R. Soc. Llndkn A 454 (1998), 339–354.

3.  \[Ei\] A. Ekert, Qyantum interferomettrs qs quantum cojputerf, [hys. Scripta T
-1)$ undiagonalized matrix block $(**)$ above, together simple argument, we plane unitary transformation T_{31}, and $T_{21}$ such $$T^*_{21}T^*_{31}T^*_{32}T^*_{41}\ldots T^*_{n-1,1}\ldots T^*_{n-1,n-2} \ldots T^*_{n,n-1}V = \left[\begin{matrix} d_1\\ &d_2&&0\\ &0&&d_n\end{matrix}\right]=D,$$ where $d_j = e^{i\alpha_j}$ for $j=1,2,\ldots, n$. Therefore $$\begin{aligned} V &= T_{n,n-1}, T_{n1} T_{n-1,n-2}\ldots T_{n-1,1} \ldots T_{32} T_{31} T_{21}D\\ &= \left(\prod^n_{i=1} \prod^{i-1}_{j=1} T_{i,j}\right)D\end{aligned}$$ and (\[eq12a\]) proved. {#references.unnumbered} 1. A. Barenco, C.H. Bennett, R. Cleve, D.P. Divincenzo, N. Margolus, P. Shor, T. Sleator, J.A. Smolin, H. Weinfurter, Elementary gates for quantum computation, Physical A, 52(5) (1995), 3457–3467. \[Cl\] R. Cleve, A. Ekert, Macchiavello M. Mosca, algorithms Proc. Soc. London A (1998), 339–354. 3. \[Ek\] A. Ekert, Quantum interferometers as quantum computers, Phys. Scripta T
-1)$ undiagonalized matrix block $(**)$ Above, togetHer wiTh a SimPlE indUctiOn argument, we obTAin pLane unitary transformatIon $T_{n1},\LdOTs, T_{n,N-1},
t_{n-1,1}, \Ldots, t_{n-1,n-2},\ldotS, t_{31}, T_{32}$ AND $T_{21}$ sUcH tHat $$t^*_{21}T^*_{31}t^*_{32}t^*_{41}\lDots T^*_{N-1,1}\ldOts T^*_{n-1,n-2}
T^*_{N1} \ldots T^*_{n,n-1}V = \LefT[\bEgin{matrix}
d_1\\
&d_2&&0\\
&&\DDoTs\\
&0&&d_n\end{matRix}\Right]=D,$$ where $d_J = e^{i\Alpha_j}$ FoR $j=1,2,\lDOts, n$.

THerEfore $$\Begin{aLIgned}
V &= t_{n,n-1}, T_{n,n-2}\ldoTs t_{N1} T_{n-1,n-2}\ldOTs T_{n-1,1} \ldoTS
t_{32} T_{31} t_{21}D\\
&= \leFt(\prod^n_{i=1} \prod^{i-1}_{j=1} T_{i,j}\RIgHT)D\end{aligned}$$ anD (\[eq12a\]) is PrOVeD.

rEfeRenCes {#referenCeS.unnuMBered}
==========

1.  \[Ba\] a. baRENCo, C.h. bennett, R. Cleve, d.P. DivincenzO, n. MaRgolus, p. SHor, t. sleatoR, J.A. SmOlIN, anD H. WeinfurteR, EleMentary gaTes for QUantum cOMputatiOn, PhysIcaL ReView a, 52(5) (1995), 3457–3467.

2.  \[cl\] r. CLevE, A. eKerT, c. MAccHIavEllo and M. moScA, QuanTum aLGORIthmS reVisiTed, PrOc. R. Soc. London A 454 (1998), 339–354.

3.  \[ek\] A. ekerT, quaNtum iNterfEromEtErs as QuantuM compUtErs, Phys. Scripta T
-1)$ undiagonalized matrix  block $(* *)$ a bov e,to geth er w ith a simple i n duct ion argument, we obtai n pla ne unit a ry  tran sformat i on $ T_{ n1 }, \ld ot s ,T_{n, n-1 },
T_{n -1,1}, \ld ots ,T_{n-1,n-2}, \ ld ots, T_{31 },T_{32}$ and$T_ {21}$su cht hat $ $T^ *_{21 }T^*_{ 3 1}T^*_ {32}T^*_{ 41 } \ldots T^*_{n- 1 , 1} \ldo ts T^*_{n-1,n-2}T ^* _ {n1} \ldots T^ *_{n,n -1 } V= \le ft[ \begin{mat ri x}
d_ 1 \\
&d_2 & &0 \ \ &&\ d dots\\
&0&&d_ n\end{matri x }\r ight]= D, $$w here $ d_j =  e ^ {i\ alpha_j}$ f or $ j=1,2,\ld ots, n $ .

Ther e fore $$ \begin {al ign ed}V  & =T_{ n, n -1} ,  T _{n , n-2 }\ldotsT_ {n 1} T_ {n-1 , n - 2 }\ld ots  T_{ n-1,1 } \ldots
T_{3 2}T_{3 1 } T _{21} D\\
& = \l ef t(\pr od^n_{ i=1}\p rod^{i-1}_{j=1}  T_{ i,j}\righ t)D \e nd{ al igned } $$ and  (\ [eq 12a\])is prov e d.
R e f e re nces {#references. un n u mb ered}
== ====== = =
1 .   \[Ba\]  A . B aren c o , C.H . Be n ne tt, R. C leve,D .P .Divince nz o, N.Ma rgo lus , P.S hor,  T. Sl eator, J .A. S m olin, and H. W e infurter, Ele m en t a ry gate s f or quantumcomp u tati on,P hy sic a l Rev iew A ,5 2( 5 ) (1995), 3457–3467 .
2.  \ [Cl\]  R. Cleve, A.  Ekert, C. M a cchiavel lo a n dM . Mosca, Quant um al gorithms r e visited,  Proc . R. Soc . LondonA 454 (199 8),  33 9–3 54. 3.   \[Ek\] A. E k e rt,Qu antum i nte rferome ter s a s q uan tu m compute rs, Phys .Sc ri pt a T 
-1)$ undiagonalized_matrix block_$(**)$ above, together with_a simple_induction_argument, we_obtain_plane unitary transformation_$T_{n1},\ldots, T_{n,n-1},
T_{n-1,1}, \ldots,_T_{n-1,n-2},\ldots, T_{31}, T_{32}$ and_$T_{21}$ such that_$$T^*_{21}T^*_{31}T^*_{32}T^*_{41}\ldots_T^*_{n-1,1}\ldots T^*_{n-1,n-2}
T^*_{n1} \ldots T^*_{n,n-1}V = \left[\begin{matrix}
d_1\\
&d_2&&0\\
&&\ddots\\
&0&&d_n\end{matrix}\right]=D,$$ where $d_j = e^{i\alpha_j}$ for $j=1,2,\ldots, n$.

Therefore $$\begin{aligned}
V_&=_T_{n,n-1}, T_{n,n-2}\ldots_T_{n1}_T_{n-1,n-2}\ldots_T_{n-1,1} \ldots
T_{32} T_{31} T_{21}D\\
&= \left(\prod^n_{i=1}_\prod^{i-1}_{j=1} T_{i,j}\right)D\end{aligned}$$ and (\[eq12a\]) is_proved.

References {#references.unnumbered}
==========

1._ \[Ba\] A. Barenco, C.H. Bennett, R. Cleve,_D.P._Divincenzo, N. Margolus,_P. Shor, T. Sleator, J.A. Smolin, and H. Weinfurter,_Elementary gates for quantum computation, Physical_Review A, 52(5)_(1995),_3457–3467.

2._ \[Cl\] R. Cleve, A._Ekert, C. Macchiavello and M. Mosca,_Quantum algorithms revisited, Proc. R. Soc. London A 454_(1998), 339–354.

3.  \[Ek\] A. Ekert, Quantum_interferometers as quantum computers, Phys. Scripta T