P
Initializing...
Euler face counting gives the planar edge bound · Prove2Me