P
Initializing...
Normalized factor $h$ of $p$ satisfies totalDegree bound · Prove2Me