A strengthening of the Erdős–Szekeres Theorem. (March 2022)