We present a simple proof of the separable reduction theorem, a crucial result of nonsmooth analysis which allows to extend to Asplund spaces the results known for separable spaces dealing with Frechet subdi¤erentials. It relies on elementary results in convex analysis and avoids certain technicalities. Key words: Asplund spaces, convex analysis, Frechet subdi¤erential, nonsmooth analysis, subdi¤erential, sum rules Mathematics Subject Classi cation: 46B20, 46B99, 46T20 The separable reduction theorem is an important result of nonsmooth analysis. It enables to pass from fuzzy sum rules in spaces with smooth norms to fuzzy sum rules in general Asplund spaces. Asplund spaces form the appropriate setting for such approximate rules and for extremal principles ([3], [5], [4], [6], [7], [8], [9], [13], [14], [15]). The proof of that result is rather sophisticated and long (see [1, pp. 243-258], [14, pp. 183-221]). It is the purpose of this note to present a short proof. While the core of the proof uses arguments similar to the ones in the original proofs, the simpli cation stems from elementary results about convexi cation. Such results of independent interest are gathered in Section 1. The characterization of nonemptiness of the Frechet subdi¤erential of a function is recalled in Section 2. The proof of the separable reduction theorem is the object of section 3. The last section is devoted to known consequences of the theorem which may motivate the study and give an idea of its usefulness. 1 Useful facts from convex analysis We assume the reader has a basic knowledge of convex analysis. In particular, we assume some familiarity with the Fenchel-Moreau subdi¤erential : for a function f : X ! R1 := R [ f+1g on a normed vector space X; nite at x 2 X; it is de ned by @f(x) := @FMf(x) := fx 2 X : 8x 2 X f(x) f(x) + hx ; x xig: (1) We recall that when f is convex, nite at x and g : X ! R is convex continuous, one has @(f + g)(x) = @f(x) + @g(x): (2)