Separation theorems for oriented matroids

In this paper we show that Minty's lemma can be used to prove the Hahn-Banach theorem as well as other theorems in this class such as Radon's and Helly's theorem for oriented matroids having an intersection property which guarantees that every pair of flats intersects in some point extension p of the oriented matroid .