Source: wikibot/dickson-s-lemma

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