P
Initializing...
Proof of Theorem 3.6, (III): once $\phi$ is zero it stays zero · Prove2Me