 reserve L for AD_Lattice;
 reserve x,y,z for Element of L;
 reserve L for GAD_Lattice;
 reserve x,y,z for Element of L;

theorem    :: Lemma 3.6. (2)
  y "/\" (x "/\" y) = x "/\" y by Lem36c;
