rng (x .--> i) = {i} by Th14;
hence rng (x .--> i) c= A by ZFMISC_1:37; :: according to RELAT_1:def 19 :: thesis: verum