theorem Th35:
  A _/\_ (A _\/_ B) = A
  proof
    A is non empty ordered Subset-Family of U &
      B is non empty ordered Subset-Family of U by Lm4;
    hence thesis by Th33;
 end;
