for i being Nat
for R, R1, R2 being b₁ -element FinSequence of COMPLEX st R1 + R = R2 + R holds
R1 = R2