A lemma from measure theory