De Morgan's Laws Imply Uniquely Complemented Lattice is Boolean Lattice