P
Initializing...
Lemma 9 / Eq.(73): appendix repetition of Lemma 7 · Prove2Me