P
Initializing...
Natural quintic bound for the distinct-distance deficiency · Prove2Me