"If the coefficient ring is a domain, in particular a field, the very same degree argument applies." . . . .