theorem :: FUNCOP_1:83

for x, y being object holds {[x,x]},{[y,y]} are_isomorphic