P
Initializing...
Convex independence excludes a same-ray perpendicular-bisector configuration · Prove2Me