Krein-Milman theorem