for I being non empty set
for G being Group
for a being Function of I,G
for i being Element of I
for g being Element of G st support a is finite holds
support (a +* (i,g)) is finite