irreducibleness

not defined yet