theorem Th5: :: YELLOW18:5

for A, B being category st A,B are_isomorphic holds
A,B are_equivalent