theorem :: WAYBEL_8:19

for L being algebraic LATTICE holds
( L is arithmetic iff CompactSublatt L is LATTICE )