theorem Th50: :: CAT_4:51

for o, m being set
for a being Object of (c1Cat* (o,m)) holds a is initial