P
Initializing...
`ψ_k 1 = 1` (`k ≠ 0`). · Prove2Me