On a Lemma of Schensted - Antoine Abram; Christophe Reutenauer (2023)