proposition: Lemma cpn14_cpn r: cpn14 (cpn14 r) <14= cpn14 r.
proof: Proof. intros. apply cpn14_gupaco, gpaco14_gupaco, gpaco14_clo. apply gf_mon. eapply cpn14_mon, gpaco14_clo. apply PR. Qed.
imports: Program.Basics Paco(paco14 pacotac)