For a monic irreducible `g` with `g(0) ≠ 0` and finite closure, its normalized reversal `h = g(0)⁻¹ · reverse g` is monic irreducible of the same degree with `h(0) = g(0)⁻¹`, has the same factor invar

Initializing...

For a monic irreducible `g` with `g(0) ≠ 0` and finite closure, its normalized reversal `h = g(0)⁻¹ · reverse g` is monic irreducible of the same degree with `h(0) = g(0)⁻¹`, has the same factor invar · Prove2Me