Looking at Shor's algorithm - Wikipedia, the free encyclopedia, I'm finding it hard to understand part of step four of the period-finding subroutine derivation. Why does w^(x0 * y) not contribute to the probability amplitude? It must be equal to unity but I don't understand why?