theorem Th14: :: CAT_4:14

for C being Cartesian_category
for a being Object of C holds term a = term (a,([1] C))