P
Initializing...
$\operatorname{circPoly}$ is nonzero under no-three-collinearity · Prove2Me