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