Put and label the binary digits of by , with . The Walsh-Hadamard transform prepares the uniform quantum superposition . Applying the phase gate to the qubit for digit multiplies its basis amplitude by . Taking their product gives
With the most significant qubit written first, this proves
Each power is implemented by repeated uses of the supplied gate. The total is uses. This realizes dyadic phase-gate identification without needing an unknown controlled gate or asserting a gate-call cost polynomial in .