theorem :: CAT_1:44

for C being Category
for a being Object of C holds id a is invertible