theorem :: LATTICES:1

canceled;