theorem Th35: :: WAYBEL_6:35

for L being lower-bounded continuous LATTICE holds
( L is distributive iff PRIME L is order-generating )