irreductibility

not defined yet