for L being distributive LATTICE holds PRIME L = IRR L