theorem Th55: :: CAT_4:56

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