consider R being non empty trivial strict Poset;
take R ; :: thesis: ( R is completely-distributive & R is trivial & R is strict )
thus ( R is completely-distributive & R is trivial & R is strict ) ; :: thesis: verum