theorem Th14: :: ALGNUM_1:10

for A, B being Ring
for F being FinSequence of A
for G being FinSequence of B st A is Subring of B & F = G holds
In ((Sum F),B) = Sum G