theorem Th23: :: WAYBEL16:23

for L being Semilattice
for x being Element of L st x is completely-irreducible holds
x is irreducible