P
Initializing...
The modular-multiplication gate satisfies $U^r = I$ · Prove2Me