theorem Th48: :: AFINSQ_2:49

for F being XFinSequence st F is RAT -valued holds
Sum F = addrat "**" F