theorem Th8: :: ISOCAT_1:10

for A, B being Category
for F being Functor of A,B st F is isomorphic holds
F " is isomorphic