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}.

3:

   the equivalent conditions in Theorem~\ref{theo:equivalence}.

2:

 %Call connected hypergraph $H$ {\it odd connected} iff it satisfies the condition in Theorem~\ref{odd-%connect}  (that is, if $\tau_{H}<+\infty$). 

3:

   region of rejection according to Theorem~\ref{the:helstrom}.

4:

 Theorem \ref{T:axiome}.

2:

 The noise-type Boolean algebra $ C $ of Theorem \ref{1d2} is called

2:

 The abelian group of endomorphisms of Theorem \ref{prop:inverse} is

3:

   Theorem~\ref{thm:representable} then we say that $A$ is

3:

   region of rejection as stated by Theorem~\ref{the:helstrom}.

2:

 ...(15 bytes skipped)...$\{x_n\}_{n=1}^\infty$ in a Hilbert space ${V}$ is called a Riesz basis if any of the conditions in Theorem \ref{rieszbasis} is satisfied.

2:

 Let $C$ be a minimal $\sps(k,d)$ identity. The linear subspace $K$ given by Theorem

2:

  A scroll satisfying the assumptions in Theorem~\ref{thm:Bscroll} is called a \emph{special \Banica scroll}. 

3:

 if it satisfies the equivalent conditions in Theorem

3:

 Theorem~\ref{the:Farey_properties} is called the Farey sum or mediant

1:

 \begin{definition}[Jump Inversion Theorem]

4:

 the {\em Jump Inversion Theorem}.

2:

  We call the pairing described in Theorem~\ref{PairingTheorem} the {\em monodromy pairing} (see remark 1 in \S\ref{ComplementsSection} for this terminology).

2:

 Consider the notation of Theorem \ref{thm:Posner}. We say that the {\it PI degree of a prime PI ring} $A$ is equal to $(\dim_F Q)^{1...(6 bytes skipped)...

2:

 The constant $\kappa_0(S)$ guaranteed by Theorem \ref{thm: noisebound} is called the \emph{separation exponent} of the set $S$.\qed

2:

 ...(29 bytes skipped)...\it frequency congruent} if it has the property that each part divides its frequency\footnote{As in Theorem \ref{multcongrthm}}. \end{definition}

3:

 if it satisfies the equivalent conditions in Theorem

2:

 The exceptional slope $\alpha$ in Theorem \ref{existenceOfSlope} is the \emph{(primary) corresponding exceptional slope} to $\xi$.

2:

 The process $X=\{X(t), \, t\in \R\}$ defined by \eqref{supOU} in Theorem \ref{thm:existencesupOU} is called a superposition Ornstein-Uhlenbeck (supOU) process.

2:

 ...(38 bytes skipped)...agic} if $A(X|\IF{2}, T_{1}) = \IF{1} \vee \IF{2}$ (recall that $A(X|\IF{2}, T_{1})$ was defined in Theorem~\ref{thm:A+W}).

3:

 of the Cauchy kernel if it possesses properties (i) to (iii) of Theorem \ref{t3.0}.

3:

 is $D$-absorbing if it satisfies Condition (5) in Theorem \ref%

4:

 {Theorem:absorption}.

2:

 In virtue of Theorem \ref{thm:main1} we say a minimizing sequence of $E_c$ is \emph{vanishing} if $u_n  \rightharpoonup ...(45 bytes skipped)...

2:

 ...(34 bytes skipped)...to be {\em intermediate} on the graph $G=(V,E)$ if one of the equivalent conditions (i) - (iii) of  Theorem~\ref{equiv3items} holds.

3:

 conditions (a)--(c) listed in Theorem \ref{T_Orientability}.

2:

 ...(33 bytes skipped)...t{Z}^n $ be the minimal entropy martingale measure.  Its existence and uniqueness is established in Theorem $2.2$ of \cite{MR1865021}.

2:

  Let $f$ be as in Theorem \ref{SAP_formal}. The least function $\b$ that satisfies Theorem \ref{SAP_formal} is called the Artin function \index{Artin function} of $f$.

2:

     We refer to the subsequences which Theorem~\ref{thm:main-subsequence-theorem} guarantees to exist as \emph{persistent subsequences}.

1:

 \begin{definition} A standard driver $F$ such that assumptions (iii) and (iv) of Theorem \ref{thm:CompThm} hold on $[0,T]$ for all $Y, Z, \bar Y$ and $\bar Z$ will be called \emph{balanced...(2 bytes skipped)...

3:

 Theorem~\ref{mvect} is called an \emph{M-sequence}. Finite

1:

 \begin{definition} [{\citet[Theorem 1.4, Definition 1.5]{rudin1960trigonometric}}] \label{Lambda1}  $E \subset \Gamma$ is  $\Lambda(p)$...(57 bytes skipped)...

3:

 If one and hence all assertions in Theorem~\ref{Thm:EllEquiv} hold true, we call $B$ an \emph{elliptic boundary condition}.

2:

 In the situation of Theorem \ref{factorization}, we say that $f$ has \emph{spherical multiplicity} $2m$ at $x+y\s$ and that $f$...(47 bytes skipped)...

2:

   Suppose that $P_{n,k}$ is the higher order projector from Theorem \ref{hothm}.

3:

 Theorem~{\rm\ref{CL84}} is called the {\em viscosity solution} of the 

2:

 The Coding Theorem further establishes the connection between $m(s)$ and $K(s)$ as follows: 

2:

 The fibre bundle $\xi$ of the previous Theorem %~\ref{theorem_fibr_asoc} 

1:

 ...(22 bytes skipped)... maximal canards not obtained as perturbations of the singular canards $\Gamma_1$, $\Gamma_2$ using Theorem \ref{thm:3dcanard1} are called \emph{secondary maximal canards}.

2:

 ...(34 bytes skipped)... (PBW basis for short) is a basis of $V$ obtained by taking a subset of the monomials introduced in Theorem \ref{thm:fg}.

2:

 Let $B\subset N$ be finite von Neumann algebras. From Theorem \ref{conditonalexpectation}, the \textbf{conditional expectation} $E_B:N\rightarrow B$ is defined b...(15 bytes skipped)...

2:

 ...(48 bytes skipped)...arrow\mathbb{R}$ is \defi{convex}\index{convex function} if $f$ verifies one of the properties from Theorem \ref{th:convexProp}.

2:

 ...(63 bytes skipped)...s the strong Perron-Frobenius property} if $A$ satisfies properties (i) through (v) of \hyp{thm:pf}{Theorem}.}

1:

 \begin{definition} {\rm If $\gamma$ is a graph as in Theorem \ref{bowl}, we are going to say that the revolution surface with generating curve $\gamma$ is a} $[...(35 bytes skipped)...

4:

 is a process on $\GG$ with the distribution as in Theorem

3:

   conditions stated in Theorem \ref{minel} is called a {\bf minimally 

1:

 \begin{definition}[Low Basis Theorem]

2:

 The current $Z \in \F_{m}(\R^{n})$ given by Theorem \ref{pf_fc:thm} is the push-forward of $T$ through $u$. Coherently with Notation \ref{notazioni}, w...(29 bytes skipped)...

2:

 ...(3 bytes skipped)... $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:

 if it meets the conditions of Theorem \ref{TheoremBicommutant}.\end{definition}

2:

 ...(52 bytes skipped)...subseteq A$ is an \textbf{admissible set} iff it satisfies any of the five equivalent properties in Theorem \ref{thm:adm_TFAE}.

3:

 Theorem~\ref{Thm:mvja83fab} the \emph{survival process} and $\Gamma(t):=-\log

1:

 \begin{definition}[Intermediate Value Theorem]

3:

 When $\pi$-points $\alpha$ and $\beta$ satisfy the conditions of Theorem~\ref{th:pi-equivalence}, they are said to be

2:

 %We will call the contributions of Theorem~\ref{ResultA} \emph{vertical}, and denote them by

1:

 \begin{definition} In the situation of Theorem \ref{thm:splittingthm}, the QPs $\qsred{Q}{S}$ and $\qstriv{Q}{S}$ are called, respectively, the \e...(39 bytes skipped)...

2:

 ...(22 bytes skipped)...chain complex $C^\infty_*(S^3_{\mathbf{0}}(L))$ is exactly $(E_3,d_3)$ under the identifications of Theorem~\ref{spectralcalc}.

3:

 	For a measure space $(X,\Sigma,\mu)$, $(\frak B,\bar\mu)$, as constructed in Theorem~\ref{meas_alg}, is called the {\bf measure algebra} of $(X,\Sigma,\mu)$.

2:

 We say that a $\Z[\Z]$-module which satisfies (a),(b) and (c) of Theorem \ref{Thm:Levinemodule} is an Alexander module, and denote the class of Alexander modules by $\mathc...(8 bytes skipped)...

2:

 ...(40 bytes skipped)...bseteq A$ is \textbf{conflict-free} (cf) iff $S$ satisfies any of the four equivalent conditions in Theorem \ref{thm:cf_char}.

3:

 from Theorem {\rm\ref{chain-prime}} is called the rank of the quantum nilpotent 

3:

   Theorem~\ref{thm:component}.  Such a subgraph is called a

2:

 A $1-$form $\sigma$ on $Q$ satisfying conditions of the Theorem \ref{standarHJEq234Hamilton} will be called solution for the standard Hamilton-Jacobi problem given...(24 bytes skipped)...

3:

 $\scSet$, with respect to the model structure described in Theorem \ref{slai}

2:

 ...(69 bytes skipped)...nd a coalgebra such that the two structures relate according to one of the equivalent conditions of Theorem \ref{bial}.

2:

 We defined the mean value sets associated to an operator $L$ to be the sets $D_R(x_0)$ in Theorem \ref{obprob1}.  When it is clear we may simply refer to these sets as the mean value sets.

3:

 $G(A)$ by applying Theorem \ref{thr:gilbert} is called the \emph{filled graph} 

2:

 Theorem~\ref{thm:onto} implies that $\Aut(F_n)$ acts on $H^{\otimes n}$ for any cocommutative Hopf algebra ...(82 bytes skipped)...

2:

 Let $(G,H,\alpha,\beta)$ be a matched pair of left braces. Then, the left brace defined in Theorem \ref{product}

4:

 satisfying the conditions of Theorem~\ref{theo:pmpnd}

2:

 ...(43 bytes skipped)...an equivalence if it is invertible in the homotopy category, i.e. in the equivalent localization of Theorem~\ref{Th_LocCatEq}.

2:

 The PDE $\E_\Sigma$ defined in Theorem \ref{thMAIN1} is called the \emph{$G$--invariant PDE associated with  $\Sigma$}  (with respect to t...(32 bytes skipped)...

2:

           The probability measure $\mu_{x+y}$ from Theorem~\ref{theorem:free-convolution} is called the \emph{free  convolution} of $\mu$ and $\nu$ and is den...(27 bytes skipped)...

1:

 \begin{definition}[\cite{Postnikov01012009}, Theorem 11.3]

2:

 ...(39 bytes skipped)...closed geodesic and $K>0$ we say that $T_\alpha$ is a $(\alpha,K)$-tube if it is a surface given by Theorem C for the curve $\alpha$ and the constant $K$.

2:

 A vector field $X$ on $Q$ satisfying conditions of the Theorem \ref{standarHJEq234Lagrangian} will be called solution for the standard Hamilton-Jacobi problem giv...(33 bytes skipped)...

3:

 %if $V \cap V' = \{0\}$. We shall see in Theorem~\ref{thm:araki-1}(v) 

2:

 ...(64 bytes skipped)...t{canonical encoding scheme} is the choice of encoding cocycles $C'_k:=E_k$. This is a valid one by Theorem \ref{encthm}.\newline

1:

 \begin{definition}[Theorem of Kleene and Post]

2:

 The random probability measure $Q$ defined in Theorem \ref{thm1} is

4:

 ...(50 bytes skipped)...s in $\SL$, we call this triple {\it equitable} whenever $X, \, Y, \, Z$ satisfy the relations from Theorem \ref{thm:ueq}.

2:

 A $1-$form $\sigma$ on $Q$ satisfying conditions of the Theorem \ref{HJforConst} will be called solution for the Hamilton-Jacobi problem given by the Hamiltonian $...(35 bytes skipped)...

2:

 ...(45 bytes skipped)...teq A$ is a \textbf{stable extension} iff $S$ satisfies any one of the two equivalent properties in Theorem \ref{thm:stable_TFAE}.

4:

 	thus all) of the properties from Theorem \ref{Thm:LCAna:LCSpace} are 

4:

 obtained from having equality in  (\ref{eq:main}) of Theorem \ref{NH}.

3:

 M\left( \mathcal{F},T\right) $ the monomial which is constructed in Theorem %

4:

 \ref{Theorem montree}.

4:

 ...(50 bytes skipped)...s in $\uq$, we call this triple {\it equitable} whenever $x, \, y, \, z$ satisfy the relations from Theorem \ref{thm:uqeq}.

3:

 Theorem~\ref{th_stabilfn}, is called {\it the canonical smoothing of $F$} and is denoted by $\theta_F$. \m{...(22 bytes skipped)...

3:

   That is, $F$ satisfies (a-e) of Theorem~\ref{thm:infweakequiv}.

4:

 sequence given by Theorem \ref{theorem:modexactseq}.

3:

 If the conditions of Theorem~\ref{thereisaFatouset} hold, then we let $F$ denote the set of points that iterate to the unique at...(56 bytes skipped)...

4:

 If an abelian von Neumann algebra admits a cyclic vector (see Theorem \ref{thm-gnc-gns}), then it is maximal abelian.

4:

 sufficient condition in Theorem~\ref{thm:suff-to}.

2:

 ...(54 bytes skipped)...t) for a $V$ module $M$ is a basis of $M$ obtained by taking a subset of the monomials appearing in Theorem \ref{thm:module-gen}.

2:

 ...(11 bytes skipped)...= U_\Z (\frak{g})$. Let $H^{\la}_{\Z}$ be the graded algebra over $S_\Z$ with presentation given in Theorem \ref{presentation1}. Let

1:

 ...(58 bytes skipped)...ch algebra $A$}}, denoted $K_{BASC}(A)$, is the infimum of all the $K$ satisfying the conditions of Theorem \ref{bddsemicont}, or $+\infty$ if there is no such $K$.

2:

 ...(37 bytes skipped)... with fillings to the category of graded $\mathfrak{k}$-vector spaces satisfying the conclusions of Theorem~\ref{thm:ESSH} is called a \emph{Liouville homology theory}.

1:

 ...(59 bytes skipped)...ch algebra $A$}}, denoted $K_{BASC}(A)$, is the infimum of all the $K$ satisfying the conditions of Theorem \ref{bddsemiamen}, or $+\infty$ if there is no such $K$.

5:

 (a)--(h) in Theorem~\ref{equiv} hold, then we say that