theorem Th44: :: ISOCAT_1:46

for A, B, C being Category st A,B are_equivalent & B,C are_equivalent holds
A,C are_equivalent