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