p = 0_. R by UPROOTS:def 5;
hence p *' q is zero by POLYNOM4:2; :: thesis: verum