for f being Function holds {} +* f = f ;