P
Initializing...
Lower bound from planar edge maximality · Prove2Me