P
Initializing...
Theorem 7: sufficient pure-state conversion condition · Prove2Me