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