So he has supposed there is only a finite number of points in a neighborhood around a limit point of the set, and basically taken a smaller neighborhood such that those points aren't there anymore. Since we don't know a priori whether or notpis an element ofE, the statement you are questioning is simply stating we exhibit a neighborhood ofpwith no elements ofEother than possiblyp, which contradicts the definition of a limit point.