theorem Th60: :: CLASSES5:58

for o1, o2, m1, m2 being object holds 1Cat (o1,m1) ~= 1Cat (o2,m2)