P
Initializing...
Four equidistant witnesses and strict convexity rule out collinearity · Prove2Me