theorem Th25: :: MATRIX_7:26

for G being Group
for f being FinSequence of G holds (Product f) " = Product ((Rev f) ")