A1: rng <*r*> = {r} by FINSEQ_1:38;
{r} c= ExtREAL by XXREAL_0:def 1;
hence <*r*> is ext-real-valued by A1, VALUED_0:def 2; :: thesis: verum