theorem
  (F**G)///H = F**(G///H) by Th80;
