theorem :: RING_5:20

not for p, q being Polynomial of (Z/ 6) holds Roots (p *' q) c= (Roots p) \/ (Roots q)