Let R be a commutative ring with identity and let X be an indeterminate. In  and  it was shown that if f, g∈R[X], then for some integer n≥l, c(f)n+1c(g) = c(g)nc(fg), where c(h) denotes the additive subgroup of JR generated by the coefficients of h ∈ R[X]. Actually the statements in [5J and  are not so general as this; however, the proofs are. Specifically, in  Mertens considers only the case that R is a polynomial ring over the integers, but this gives the result for any ring by specializing the coefficients of f and g. In  Dedekind considers only the case that JR is a ring of algebraic integers, but his proof is completely general. Further, the above formula then holds if one lets c(h) denote the S-submodule of R generated by the coefficients of h ∈ R[X], S a subring of R, and it is in this form that it usually appears, especially the case S = R. Dedekind′s very elegant proof is reproduced in [15, p. 9, Lemma 6.1].