Let $V$ be a vector subspace of $R^N$, and $l:V \to R$ a linear mapping such that $l(V\bigcap R_{+}^N)\subseteq R_{+}$ (i.e., $l$ is positive).
I have heard that there exists a separating hyperplane sort of argument that allows us to show that $l$ extends to a positive linear functional on $R^N$. I have my own proof, but it is complicated and uses the Bauer-Namioka condition for extension of positive linear functionals on ordered vector spaces of any dimension.
Question: What is this simple separating hyperplane argument that shows that $l$ extends to a positive linear functional on $R^N$? (I believe it should be quite straightforward, but I was not able to construct the right problem to invoke a separation argument...) A reference would be okay as well. Thanks.