P
Initializing...
A convex-independent set with three points is noncollinear · Prove2Me