rng <*r*> = {r} by FINSEQ_1:38;
then r in rng <*r*> by TARSKI:def 1;
hence not <*r*> is positive-yielding by PARTFUN3:def 1; :: thesis: verum