for i being natural Number
for R, R1, R2 being Element of i -tuples_on REAL st R1 + R = R2 + R holds
R1 = R2