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