Shor's Algorithm in Qiskit

From controlled modular exponentiation to IQFT cancellation and measurement: factoring 15 becomes finding the order of 2, and everything except y ∈ {0, 64, 128, 192} cancels — so r = 4 and 15 = 3 × 5.