 reserve W for WA-Lattice;
 reserve a,b,c for Element of W;

theorem LemmaX2:
  (a "\/" b) "/\" a = a by LATTICE3:18;
