A monic `F` over a field with `K[X]/(F)` reduced is a product of distinct monic irreducibles.

Initializing...

A monic `F` over a field with `K[X]/(F)` reduced is a product of distinct monic irreducibles. · Prove2Me