P
Initializing...
Lemma 2, strict at r = 1 · Prove2Me