Gordan's lemma