theorem Th6: :: GROUP_20:6

for I being non empty set
for G being Group
for H being Subgroup of G
for x being finite-support Function of I,G
for y being finite-support Function of I,H st x = y holds
Product x = Product y