theorem Th24: :: WAYBEL_6:24

for L being LATTICE
for l being Element of L st l is prime holds
l is irreducible