theorem Th65:
  A _/\_ B _/\_ C = A _/\_ (B _/\_ C) by XBOOLE_1:16;
