1: \begin{definition}

2:   From now on, $\omega_0>0$ denotes the corresponding constant from

3:   Theorem \ref{thm:S}.

4: \end{definition}

5: