theorem :: CAT_1:56

for C being Category
for a, b being Object of C st b is terminal & a,b are_isomorphic holds
a is terminal