P
Initializing...
Every planar graph has an edge-maximal planar completion · Prove2Me