P
Initializing...
$\operatorname{innerPoly}$ of a nonzero difference is nonzero · Prove2Me