theorem :: WAYBEL_6:36

for L being lower-bounded continuous LATTICE holds
( L is distributive iff L is Heyting )