irreducibilities

not defined yet