P
Initializing...
A maximal planar drawing has at least the triangulation edge count · Prove2Me