P
Initializing...
Lemma 4.8 — the points $P(\mathcal S)$ lie in $\mathcal Z(\mathcal G,u)$ · Prove2Me