theorem Th34: :: LATTICE4:34

for BL being Boolean Lattice holds the carrier of BL is Field of BL