theorem
  C is composable iff the CategoryStr of C is composable by Th12,Th13;
