P
Initializing...
Lemma 3.7's own statement, on a ball in ℝ² · Prove2Me