rng <%f%> = {f} by AFINSQ_1:33;
hence rng <%f%> is with_common_domain ; :: according to ORDINAL6:def 10 :: thesis: verum