Farkas` Lemma, Gale`s Theorem, and Linear Programming: the