theorem Th52:
  for o,m being set holds c1Cat*(o,m) is Cocartesian
by Th50,Th45,Th51;
