theorem :: LATWAL_1:19

( ExNearLattice is NearLattice & ExNearLattice is not Lattice ) ;