Theorem Irreducible.prime

Modification history