A nonzero polynomial `H` of degree at most `d` has a homogeneous divisor of degree `d`: the point at infinity with multiplicity `d - deg H` plus the normalized factors of `H`.

Initializing...

A nonzero polynomial `H` of degree at most `d` has a homogeneous divisor of degree `d`: the point at infinity with multiplicity `d - deg H` plus the normalized factors of `H`. · Prove2Me