Source: wikibot/ogden-s-lemma

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