theorem Th61: :: MATRIX_4:61

for V1 being Ring
for P1, P2 being FinSequence of V1 st len P1 = len P2 holds
Sum (P1 + P2) = (Sum P1) + (Sum P2)