for f, g, h being Function holds ~ (f * [:g,h:]) = (~ f) * [:h,g:]