  We show a short proof of Higman's lemma using Friedman's adjacent Ramsey
theorem for pairs. This provides an alternative proof of the known upper bound
for the reverse mathematical status of Higman's lemma and that of its
miniaturised version.
