for R being Ring
for a being Element of R holds
( deg (a | R) = 0 iff a <> 0. R )