The purpose of this paper is twofold; first, to present a simple proof of the Farkas theorem (or Farkas lemma or Farkas-Minkowski lemma), proof performed through a nonlinear theorem of the alternative; second, to present various new proofs of the so-called "Tucker key theorem", and to show that...