theorem Th6: :: YELLOW11:6

for L being LATTICE
for a, b, c being Element of L holds (a "/\" b) "\/" (a "/\" c) <= a "/\" (b "\/" c)