Closure of applicative composition is proven