P
Initializing...
Lemma 19 with the base witnesses · Prove2Me