proposition: Lemma cpn10_cpn r: cpn10 (cpn10 r) <10= cpn10 r.
proof: Proof. intros. apply cpn10_gupaco, gpaco10_gupaco, gpaco10_clo. apply gf_mon. eapply cpn10_mon, gpaco10_clo. apply PR. Qed.
imports: Program.Basics Paco(paco10 pacotac)