Theorem not_irreducible_one

Modification history