theorem
  (A++B)///C c= A///C ++ B///C by Th95;
