theorem LemmaX2: :: LATWAL_2:8

for W being WA-Lattice
for a, b being Element of W holds (a "\/" b) "/\" a = a by LATTICE3:18;