for i being Nat
for R1, R2 being b₁ -element FinSequence of COMPLEX st R1 - R2 = i |-> 0c holds
R1 = R2