0. S in rng f by T0;
hence not Image f is empty by defim; :: thesis: verum