Gordan's lemma (source code)

= Gordan's lemma
{wiki=Gordan's_lemma}