theorem Th65: :: CAT_4:66

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