Coproduct_Measure.Lemmas_Coproduct_Measure