P
Initializing...
Maximality forces the planar lower bound · Prove2Me