theorem Th10: :: LATTICES:12

for L being D_Lattice
for a, b, c being Element of L st c "/\" a = c "/\" b & c "\/" a = c "\/" b holds
a = b