Reversible circuits for modular multiplication Cx%M with x < M arise as components of modular exponentiation in Shor's quantum ...