how to prove something is a lattice