"The definition above is the weakest choice for irreducible that I am aware of." . . . .