Def/Irreducible element 1