theorem Th14: :: CAT_8:14

for C being Category
for f being Morphism of C
for g being morphism of (alter C) st f = g holds
( dom g = id (dom f) & cod g = id (cod f) )