for s being set
for i being Nat
for R1, R2 being b₂ -element FinSequence of COMPLEX holds (R1 - R2) . s = (R1 . s) - (R2 . s)