theorem :: FINSEQ_1:104

for f being integer-valued FinSequence holds f is FinSequence of INT