P
Initializing...
If monic `G, G'` of degree `n` are congruent modulo `πⁱ` (with `π` a nonzerodivisor), then `G' - G = πⁱ H` with `deg H < n`; · Prove2Me