theorem Th34: :: WAYBEL_6:34

for L being complete LATTICE st PRIME L is order-generating holds
( L is distributive & L is meet-continuous )