take p = 0. (Polynom-Ring R); :: thesis: p is reducible
thus p is reducible ; :: thesis: verum