P
Initializing...
A quadratic equality excludes a nondegenerate triangle · Prove2Me