1: \begin{definition}

2:  We call a C-test word which satisfies the assumptions of Theorem \ref{testelement} and Corollary \ref{test} an \textnormal{Ivanov word}.

3: \end{definition}

4: