P
Initializing...
A maximal planar graph on a nonempty vertex type is connected · Prove2Me