theorem Th69: :: CAT_1:74

for C being Category holds id the carrier' of C is Functor of C,C