theorem :: LATTICES:2

canceled;