theorem Th66:
  A _/\_ (B _\/_ C) = (A _/\_ B) _\/_ (A _/\_ C) by XBOOLE_1:23;
