for C being category
for a, b, c being Object of C
for f1 being Morphism of a,b
for f2 being Morphism of b,c st f1 is epimorphism & f2 is epimorphism holds
f2 * f1 is epimorphism