Dickson lemma

Every subset of ${\mathbb{N}}^d$ has finitely many coordinatewise minimal elements. Equivalently, ${\mathbb{N}}^d$ has no infinite antichain in its coordinatewise partial order.