theorem Th20: :: WAYBEL_8:20

for L being lower-bounded algebraic LATTICE holds
( L is arithmetic iff L -waybelow is multiplicative )