Theorems in lattice theory