P
Initializing...
Euler certificate implies the planar edge bound · Prove2Me