proposition: Lemma Umult_continuous2 : continuous2 UMult.
proof: Proof. apply continuous2_sym. simpl; auto. intro k; apply continuous_eq_compat with (2:=Umult_right_continuous k). apply fmon_eq_intro; intro m; auto. Qed.
imports: ALEA(Utheory)