theorem Th51: :: ALTCAT_4:51

for C being category
for o1, o2 being Object of (AllEpi C)
for m being Morphism of o1,o2 st <^o1,o2^> <> {} holds
m is epi