P
Initializing...
The isosceles-count inequality forces the nine-vertex threshold · Prove2Me