James theorem, Krein's theorem, reflexivity, strict convexity