theorem :: ISOCAT_1:15

for A, B, C being Category st A ~= B & B ~= C holds
A ~= C