theorem Th61: :: CAT_4:62

for C being Cocartesian_category
for a, b being Object of C holds
( Hom (a,(a + b)) <> {} & Hom (b,(a + b)) <> {} )