P
Initializing...
Kelmans Theorem 3.1 via 3.11: $(z4) \Rightarrow (t2)$ · Prove2Me