A discrete variant of Farkas' Lemma, some related results, and homogeneous linear programming