theorem Th28: :: WAYBEL_6:28

for L being distributive LATTICE holds PRIME L = IRR L