theorem Th61: :: CAT_8:61

for C, D being category
for F being Functor of C,D st F is covariant holds
F is_natural_transformation_of F,F