(U(I⊗I⊗Rn)U(\[RightBracketingBar]Ψ>⊗\[LeftBracketingBar]0>)=
U(I⊗I⊗Rn)U((Subscript[a, 00])\[RightBracketingBar]000>(Subscript[a, 01])\[RightBracketingBar]010>+(Subscript[a, 10])\[RightBracketingBar]100>+(Subscript[a, 11])\[RightBracketingBar]110>)=
U(I⊗I⊗Rn)U((Subscript[a, 00])\[RightBracketingBar]000>(Subscript[a, 01])\[RightBracketingBar]010>+(Subscript[a, 10])\[RightBracketingBar]100>+(Subscript[ia, 11])\[RightBracketingBar]111>)=
U((Subscript[a, 00])\[RightBracketingBar]000>(Subscript[a, 01])\[RightBracketingBar]010>+(Subscript[a, 10])\[RightBracketingBar]100>-(ie^(i π/(2^(n-1))))(Subscript[ia, 11])\[RightBracketingBar]111>)=
(Subscript[a, 00])\[RightBracketingBar]000>(Subscript[a, 01])\[RightBracketingBar]010>+(Subscript[a, 10])\[RightBracketingBar]100>+(e^(i π/(2^(n-1))))(Subscript[a, 11])\[RightBracketingBar]110>=(Controlled-Rn⊗)I(\[RightBracketingBar]Ψ>⊗\[LeftBracketingBar]0>)[Equation   6])