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