A discrete variant of Farkas' lemma and related results. (2nd September 2021)