P
Initializing...
$\operatorname{circPoly}$ is nonzero in the coplanar non-collinear case · Prove2Me