theorem FFE: :: NEWTON04:11

for f being FinSequence holds f, Rev f are_fiberwise_equipotent