consider L being strict complete LATTICE;
take L ; :: thesis: ( L is complete & L is strict )
thus ( L is complete & L is strict ) ; :: thesis: verum