theorem Th13: :: CAT_4:13

for C being Cartesian_category
for a being Object of C holds Hom (a,([1] C)) <> {}