for C1, C2 being Category st alter C1 ~= alter C2 holds
C1 ~= C2