Talk:Generalized Farkas' lemma