Krein–Milman theorem