Kuratowski's Lemma implies Tukey's Lemma

Theorem
Let Kuratowski's Lemma be accepted as true.

Then Tukey's Lemma holds.

Proof
Recall Kuratowski's Lemma:

Recall Tukey's Lemma: