theorem :: FINSEQ_1:105

for f being rational-valued FinSequence holds f is FinSequence of RAT