theorem Th52: :: FILTER_1:52

for B being B_Lattice
for a, b, c being Element of B st a <=> b = a <=> c holds
b = c