for f being Function holds rng (~ f) c= rng f