1: \begin{definition}

2: Let $A/K$ be an abelian variety. We denote by $\Kconn$ the field $K'$ whose existance is guaranteed by Theorem \ref{thm:K'}. It is in particular a \textit{normal} extension of $K$.

3: \end{definition}

4: