theorem Th27: :: LATTICE3:27

for X being set holds BooleLatt X is /\-distributive