Gateaux differentiable functions are somewhere Frechet differentiable

Abstract

It is proved that every everywhere Gateaux differentiable real-valued Lipschitz function on an Asplund space is Frechet differentiable at uncountably many points. The nonseparable case is reduced to the separable one with the help of a general separable reduction theorem.