The Farkas lemma of Shimizu, Aiyoshi and Katayama