2:

 $h$\ in Theorem 10 is called the near-controllability index of the system

3:

   Theorem \ref{thm:S}.

2:

 We denote by $f^{\wh{\oplus}}$ the specific $\wh{f}$ introduced in Theorem

1:

 \begin{definition}We say the surface pair is \emph{almost minimal} if condition (2) in Theorem \ref{thm:M1} holds.\end{definition}

2:

  The basis described in Theorem \ref{theo::ALP-basis} will be called the \emph{standard basis}. 

2:

 The basis of Theorem \ref{thAri} will be called the {\em GTA basis} (for Gainutdinov, Tipunin, Arike).

2:

 We shall call the domain $D_L$ in Theorem \ref{thm-Lyapunov-map} {\em a Lyapunov domain} (for $\psi$). 

2:

 If $(\fM,\cD)$ satisfies hypotheses of Theorem \ref{point}, we will refer to the pair as {\bf fat-tailed}.

1:

 \begin{definition} We say that such a function satisfying Theorem \ref{asum.thm} satisfies the \emph{asummability criterion}. \end{definition} 

2:

 If $(\fM,\cD)$ satisfies hypotheses of Theorem \ref{dense}, we will refer to the pair as {\bf light-headed}.

2:

  The polynomial $f$ of Theorem D is called the minimum

3:

 conditions of Theorem~\ref{r:SZ3.6} a {\em support set}.  

2:

 Say that $C_{\principal}$ is $\lambda$-amenable if the conditions of Theorem~\ref{Amenability} are satisfied.

2:

 	satisfying Theorem \ref{t2} is called the {\it induced metric}.

1:

 ...(15 bytes skipped)...on} $X\subset \cS$ is a {\em bad} set if $|X|>N(X)$. In other words, $X$ violates the conditions of Theorem~\ref{thm:Hall} .

2:

 The potential function $U$ introduced in Theorem \ref{result2} is called the \emph{global potential} of a reaction network.

2:

 We define $\operatorname{Lad}_m$ to be the quotient of $\operatorname{FLad}_m$ by the relations in Theorem \ref{th:ladders}.

2:

 We refer to local coordinates $(\theta,y)$ stated in Theorem 4 as

2:

 The process $(Z^{H})_{t>0}$  from Theorem \ref{t1} will be called as  {\it fractional Multifractal Random Walk.  }

2:

 ...(3 bytes skipped)...say that $f$ is \textit{reduced} if it is minimal and satisfies one of the equivalent conditions of Theorem \ref{reduced}. 

1:

 \begin{definition}  If all three conditions of Theorem \ref{thm:fundamental} are met we

2:

   A rank metric code meeting the  bound in Theorem \ref{thm:singrank}  is called a \emph{maximum rank

2:

 The set $G_N$ consists of all g functions satisfying all conditions of Theorem \ref{limit_w} and the functions have $N$ roots.

2:

 	In what follows the functions $\Phi_q$ and $\Psi_q$ are as introduced in Theorem~\ref{thm:skip-free}.

2:

 A domain $\D$ satisfying the conditions of  Theorem \ref{teoexist} is called an ideal admissible domain.

2:

 The map $\cord$ from Theorem \ref{thm:MapToZonotope} is called the \emph{order map} of the lopsided coamoeba $\mathcal{LA}'(f)$....(1 bytes skipped)...

2:

 Under the hypotheses of Theorem \ref{Leray_Ohya_diagonal}, the number $\frac{Q}{Q-1}$ is 

2:

 We call the system $(\H,U,\pi,varphi)$ in Theorem \ref{th1}, the {\it wavelet representation} associated to the function $m_0$.

2:

 ...(7 bytes skipped)...subseteq\Rnsym$ be compact. For every $p\in(1,\infty)$, we set $\Ksdqc=\Kp$. {This is admissible by Theorem \ref{theorempq}.}

3:

 A state is said to be a $(\tau,\beta)$-KMS state if it satisfies one of the conditions in Theorem \ref{KMSequi}. 

2:

 A {\em kneading automaton} is a finite invertible automaton satisfying conditions (1)-(3) of Theorem \ref{char}.

2:

 A virtually self-dual weight enumerator $F(x,y)$ is called \textit{extremal} if the bound in Theorem \ref{bound} holds with equality. 

2:

 A virtually self-dual weight enumerator $F(x,y)$ is called \textit{extremal} if the bound in Theorem \ref{bound} holds with equality. 

1:

 \begin{definition}[Theorem Indicator]\label{def:thmind}

2:

 In the assumptions of Theorem~\ref{thm:locSigma}, the variety $X'$ is called {\em a localization of $X$ in $\Sigma'=\Sigma(\kmG/\...(7 bytes skipped)...

2:

 Let $T$ and $\widehat T$ be as in Theorem \ref{tsir}.

2:

 ...(10 bytes skipped)...subseteq A$ is \textbf{self-defending} iff it satisfies any one of the two equivalent properties in Theorem \ref{thm:sd_equiv}.

2:

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

2:

 The $4g$-gon $M_{\text{cut}}$ of Theorem \ref{Theorem: normal

2:

 The action operad $\Cac$ in Theorem \ref{thm:cactus-group-operad} is called the \emph{cactus group operad}.

2:

 The unique graph-labelled tree guaranteed by Theorem~\ref{thm:splitTheorem} is called the \emph{split-tree} for $G$, and is denoted $ST(G)$.

2:

  The holomorphic disc constructed Theorem \ref{60} is called the initial disc, which corresponds to an initial BPS ray in Section \ref{1032}....(0 bytes skipped)...

1:

 \begin{definition}We will call a pair $(\nu,\nu^c)$ constructed as in Theorem \ref{k and kc}

2:

 We refer to the function $V$ in Theorem \ref{LyaSta}

2:

 ...(20 bytes skipped)...r with left adjoint, we say that $G$ is {\em monadic} if $G$ satisfies the equivalent conditions of Theorem~\ref{beck's thm}.

1:

 \begin{definition}[Brouwer Fixed Point Theorem]

2:

 A sequence $\{\cP_\mu(t_0,t_1,X_0,X_1,X_2),\,\cQ_{d-\mu}(t_0,t_1,X_0,X_1,X_2)\}$ as in Theorem \ref{syz}, is called a {\em $\mu$-basis} of $\phi.$ 

1:

 \begin{definition} Let $X$ be a $\wpo$. Every well-order $\preceq$ on $X$ that satisfies Theorem \ref{dejonghandparikh1} is called a \textbf{maximal linear extension}.

2:

 For a given $X$ and $W$ as in Theorem \ref{thm:group}, we call the presentation of Theorem \ref{thm:group} a \emph{Morse presentation} for $\pi_1X$.

3:

 the \C-algebra $\Cstar(\G_{A_f},V)$ produced in Theorem \ref{thmnice100}.