irreducibilities