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