theorem Th8: :: GROUP_19:8

for I being set
for F being Group-Family of I
for a being Element of (product F) holds
( a in sum F iff support (a,F) is finite )