From the Farkas lemma to the Hahn-Banach theorem

- Dinh, Nguyen, Goberna, Miguel, López, Marco, Mo, T. H.