P
Initializing...
The reciprocal substitution conjugates `Φ` to `Φ⁻¹`. · Prove2Me