p = 0_. R by UPROOTS:def 5;
hence p + q = q by POLYNOM3:28; :: thesis: verum