for L being distributive LATTICE
for l being Element of L holds
( l is prime iff l is irreducible )