theorem Th16: :: LATTICE6:16

for L being complete Lattice
for a being Element of L st a is completely-meet-irreducible holds
a % is meet-irreducible