From Separation Theorems to Farkas' Lemma From the Hahn-Banach theorem to the three separating theorems
From Hahn-Banach to Separating Theorems From the Hahn-Banach theorem to the three separating theorems