P

Initializing...

§3, p. 382: in the interesting case, $\rho^C > 1$ · Prove2Me