theorem Th49: :: AFINSQ_2:50

for F being XFinSequence st F is INT -valued holds
Sum F = addint "**" F