Abstract. We prove that for every function f : X → Y , where X is a separable Banach space and Y is a Banach space with RNP, there exists a set A ∈ Ã such that f is Gâteaux differentiable at all x ∈ S(f) \ A, where S(f) is the set of points where f is pointwise-Lipschitz. This improves a result of Bongiorno. As a corollary, we obtain that every K-monotone function on a separable Banach space is...