P
Initializing...
Proof of Theorem 8.4 — the projection of P2 onto the n_i coordinates lies in P1 · Prove2Me