P
Initializing...
Edge lower bound from planar maximality · Prove2Me