for R being domRing
for p, q being Element of the carrier of (Polynom-Ring R) st p is_associated_to q holds
deg p = deg q