A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle