P
Initializing...
Proof of Proposition 7, p. 29 — Δ_L > Λ_L · Prove2Me