bijeccions

f(x) = x+xi

x+xi = y+yi

x·( 1+i ) = y·( 1+i )

x = y

f(x) = (-x)+xi

(-x)+xi = (-y)+yi

x·( (-1)+i ) = y·( (-1)+i )

x = y

f(x) = x+(-x)i

x+(-x)i = y+(-y)i

x·( 1+(-i) ) = y·( 1+(-i) )

x = y

f(x) = (-x)+(-x)i

(-x)+(-x)i = (-y)+(-y)i

x·( (-1)+(-i) ) = y·( (-1)+(-i) )

x = y