It is a direct application of the theorem to $E^{**}$, or are you not understanding the theorem itself?