theorem :: CAT_1:35

for C being Category
for b being Object of C holds id b is monic