Gordan's theorem

  1. redirect Gordan's lemma