Talk:Gordan's lemma