  We prove a power series ring analogue of the Dedekind-Mertens lemma. Along
the way, we give limiting counterexamples, we note an application to
integrality, and we correct an error in the literature.
