for f being Function holds (.: f) . {} = {}