theorem Th33: :: NATTRA_1:37

for A being discrete Category
for a being Object of A holds Hom (a,a) = {(id a)}