TTT es uno a uno: argumentamos por contradicción. T(u1,v1)=T(u2,v2)T (u_1, v_1) = T (u_2, v_2)T(u1,v1)=T(u2,v2) implica 2u1−v1=2u2−v22u_1 - v_1 = 2u_2 - v_22u1−v1=2u2−v2 y u1=u2u_1 = u_2u1=u2. Por tanto, u1=u2u_1 = u_2u1=u2 y v1=v2v_1 = v_2v1=v2.