Let \mathbb{N} be the set of non-negative integers (natural numbers), let n be any fixed constant, and let \mathbb{N}^n be the set of n-tuples of natural numbers.
The partially ordered set (\mathbb{N}^n,\le) is a well partial order [REF].