P
Initializing...
An invertible operator has a unitary right polar factor · Prove2Me