Eberlein–Šmulian theorem.
Eberlein–Šmulian θεώρημα.