let L be non empty complete Poset; :: thesis: id L is CLHomomorphism of L,L
A1: id L is directed-sups-preserving by Th4;
id L is infs-preserving by Th3;
hence id L is CLHomomorphism of L,L by A1, WAYBEL16:def 1; :: thesis: verum