1: \begin{definition}

2: \label{def.words.lyndon.stf}Let $w$ be a Lyndon word of length $>1$. Let $v$

3: be the longest proper suffix of $w$ such that $v$ is Lyndon. (This is

4: well-defined, as we know from Exercise \ref{exe.words.lyndon.std2}.) Since $v$

5: is a proper suffix of $w$, there exists a nonempty $u\in\mathfrak{A}^{\ast}$

6: such that $w=uv$. Consider this $u$. (Clearly, this $u$ is unique.) Theorem

7: \ref{thm.words.lyndon.std}(a) shows that the words $u$ and $v$ are Lyndon. In

8: other words, $u\in\mathfrak{L}$ and $v\in\mathfrak{L}$. Hence, $\left(

9: u,v\right)  \in\mathfrak{L}\times\mathfrak{L}$. The pair $\left(  u,v\right)

10: \in\mathfrak{L}\times\mathfrak{L}$ is called the \textit{standard

11: factorization} of $w$, and is denoted by $\operatorname*{stf}w$.

12: \end{definition}

13: