For pairwise coprime monic `g i` over a field, `∑ h i ∏_{j ≠ i} g j = 0` with `deg h i < deg g i` forces all `h i = 0`.

Initializing...

For pairwise coprime monic `g i` over a field, `∑ h i ∏_{j ≠ i} g j = 0` with `deg h i < deg g i` forces all `h i = 0`. · Prove2Me