for I being non empty set
for G being Group
for a being finite-support Function of I,G
for W being finite Subset of I st support a c= W holds
ex aW being finite-support Function of W,G st
( aW = a | W & support a = support aW & Product a = Product aW )