theorem Th110: :: FINSEQ_6:110

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