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