proposition: Lemma continuous2_sym : forall (D1 D2:cpo) (F : D1-m>D1-m>D2), (forall x y, F x y == F y x) -> (forall k, continuous (F k)) -> continuous2 F.
proof: Proof. intros; apply continuous_continuous2; auto. apply continuous_sym; auto. Qed.