Dickson's lemma (source code)

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