. . "??? Formally, an element a of a commutative ring R is said to be irreducible if it is not zero, not a unit, and implies either b or c is a unit." . . .