theorem :: WAYBEL15:31

for L being Boolean LATTICE holds
( L is arithmetic iff L is completely-distributive )