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