P
Initializing...
If P₁P₂ = P₀² with deg P₁, deg P₂ ≤ 3 and P₀, P₁ independent, then P₀ = gQ₀Q₁, P₁ = gQ₁², P₂ = gQ₀² with Q₀, Q₁ independent of degree at most 1 and g = aQ₀ + bQ₁ · Prove2Me