A: rng <*i*> = {i} by FINSEQ_1:56;
for u being set st u in {i} holds
u in INT by INT_1:def 2;
then {i} c= INT by TARSKI:def 3;
hence <*i*> is integer-yielding by A, VALUED_0:def 5; :: thesis: verum