Farkas lemma.