theorem :: LATTICE6:22

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