Let and . The first factor in is
Since , the coefficient of in is
It vanishes when
or, using ,
A unit-modulus solution exists exactly when the right-hand side lies in . The upper bound is automatic, while the lower bound is
Thus exact preparation by one application of is possible precisely when
One may choose so that . Then has no component and, by unitarity, equals up to phase. This is a phase-matched amplitude amplification step.