On the Farkas lemma and the Horn-Tarski measure-extension theorem

We first derive a certain version of the Farkas lemma called the 0-1 Farkas lemma (the 0-1 FL). We then show that the 0-1 FL is equivalent to a measure-extension theorem. By applying one implication of this result, we prove that the 0-1 FL implies the classical Horn-Tarski measure-extension theorem.