P
Initializing...
Convex independence forbids collinear triples · Prove2Me