theorem :: CAT_1:40

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