for f being Function holds f is base- f -based