reserve o,m for set;

theorem
  the CatStr of c1Cat(o,m) = 1Cat(o,m);
