P
Initializing...
Lemma 2, strict for interior r · Prove2Me