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