ex p being non monic Element of the carrier of (Polynom-Ring INT.Ring) st
( deg p = 1 & p is reducible )