P
Initializing...
Proposition 61, `(U')† U' = 1`. · Prove2Me