P
Initializing...
Simple planar edge-count upper bound · Prove2Me