irreducibility

not defined yet