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