for f being FinSequence st len f = 1 holds
Rev f = f