Apologies if the answer is trivial, this is far from my domain.
In order to define the field of [Hahn series](https://en.wikipedia.org/wiki/Hahn_series#Summable_families_2), one needs the following fact: if $A,B$ are two well-ordered subsets of $\mathbb{R}$ (or any ordered group — with the induced order of course), the subset $A+B:=\{a+b\,|\,a\in A,b\in B\} $ is well-ordered. How does one see that?



The sum of two well-ordered subsets is well-ordered
Ramsey theory! Suppose $A + B$ is not well-ordered. Then there is a strictly decreasing sequence $a\_1 + b\_1 > a\_2 + b\_2 > \cdots$. Observe that for any $i < j$, either $a\_i > a\_j$ or $b\_i > b\_j$ (or both). Make a graph with vertex set $\mathbb{N}$ by putting an edge between $i$ and $j$ if $a\_i > a\_j$, for any $i < j$. By the countably infinite Ramsey theorem, there is either an infinite clique or an infinite anticlique, and hence either a strictly decreasing sequence in $A$ or a strictly decreasing sequence in $B$, contradiction.


