theorem :: WAYBEL15:30

for L being Boolean LATTICE holds
( L is arithmetic iff ( L is continuous & L opp is continuous ) )