P
Initializing...
Maximality forces the planar edge-count lower bound · Prove2Me