theorem CREV: :: NEWTON04:44

for a being Complex
for f, g being complex-valued FinSequence st g = Rev f holds
Rev (a (#) f) = a (#) g