theorem Th27: :: WAYBEL_6:27

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