A nonstandard proof of the Eberlein-Smulian theorem