reconsider g = p gcd q as Element of (Polynom-Ring F) ;
( p = 0_. F & q = 0_. F ) by UPROOTS:def 5;
hence p gcd q is zero by dpg; :: thesis: verum