consider L being non empty complete Poset;
take L ; :: thesis: L is complete
thus L is complete ; :: thesis: verum