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

2:

  If $u$ is as in Theorem \ref{th_main_proof}, $x\in B_{1}(0)$ and $0<r<1$, define

2:

 ...(56 bytes skipped)...}^n$ we let its MICP-dimension be the smallest $d'\in \mathbb{N}$ such that the representation from Theorem~\ref{reptheo} holds with $\dim\bra{C}=d'$.

2:

 ...(69 bytes skipped)...ra $(\M,\tau)$. We say that $\tau$ is \emph{energy dominant} if one of the equivalent assertions of Theorem \ref{char_energy_dom} holds.

2:

 We will call the map $\CR$, introduced in Theorem~\ref{t:Reconstruction}, the {\it reconstruction operator}, and we will always postulate in what fol...(38 bytes skipped)...

2:

 A vector field $X$ on $Q$ satisfying conditions of the Theorem \ref{HJforConstLag} will be called solution for the Hamilton-Jacobi problem given by the regular La...(46 bytes skipped)...

4:

 induced by $A$ has the form given in Theorem~\ref{thm:sva}.

4:

 induced by $A$ has the form given in Theorem~\ref{thm:sva}.

9:

 where $T_2$ is the statistic defined in Theorem 1.

2:

 ...(83 bytes skipped)...= \lim_{n \rightarrow \infty} \frac{1}{n} \log{|E_X(n)|}.$$ The existence of this limit is given by Theorem~\ref{extentexists}.

3:

   as given in Theorem \ref{gal} is called {\em the generic initial ideal}

5:

 %The reason for this name will be clear by Theorem~\ref{iso}.

3:

 The equivalence relation $E_{\bar{\mathfrak e}}$ satisfying the assumptions of Theorem \ref{T_minimal_equival} is called the \emph{minimal equivalence relation} in $\mathbf E$ w.r.t. $\m...(3 bytes skipped)...

3:

 ...(20 bytes skipped)...s the ratio of the perturbation norm and the expected value of the norm of the matrix (estimated in Theorem \ref{thsignorm}).  

1:

 \begin{definition}[Banach Inverse Mapping Theorem]

1:

 \begin{definition}[{\citealp[Theorem 2.6]{Charney1995}}]

3:

 Theorem~\ref{continuous-field}, a \emph{generating family} of sections

2:

 The Invariance Theorem ensures controlled connectivity is a property

1:

 ...(86 bytes skipped)...generic Hecke algebra}~$\H(R)$ of the generalised Renner monoid~$R$ is the $A$-algebra described in Theorem~\ref{Th:genThe}. \label{def:genHechalg}

6:

 (a), (b) or (c) in Theorem \ref{thm:smr} respectively.

2:

 In the setting of Theorem \ref{thm Braverman}, the \emph{equivariant index} of the pair $(\cS, \psi)$ is

3:

 ...(21 bytes skipped)...s the ratio of the perturbation norm and the expected value of the norm of the matrix (estimated in Theorem \ref{thsignorm}).  

4:

 For an algebraic statistical model $X$, the non-negative integer $N$ stated in Theorem \ref{MLD}

10:

 of Theorem~\ref{thm:steinberg} holds.

2:

 %We refer to solutions of \eqref{intDBM} as in Theorem \ref{thm:intDBM} (in particular, with

2:

 For an axis aligned polygon $A$ that satisfies the conditions in Theorem \ref{T001}, we call the point $p$, where all vertices of $T^{n-1}(A)$ collapse to, \emph{the point ...(45 bytes skipped)...

3:

 ...(0 bytes skipped)...We say a communication network $C(A)$ is privacy-preserving \emph{if and only if} the conditions in Theorem \ref{thm:partial-rec} do not hold for any node $M$ and any set of nodes $\Ncal$.

5:

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

2:

 ...(16 bytes skipped)...compactly supported probability measure $\mu$ on $\realnumbers$, the analytic function $R_\mu$ from Theorem~\ref{theorem:R-transform-compact-support} is called the \emph{$R$-transform} of $\mu$.

2:

 ...(32 bytes skipped)...emph{$\Sigma$-continuous dual} $D^{\Sigma}(M)$ of $M$ is the $R$-module $\Hom_k^{\Sigma}(M,k)$.  By Theorem \ref{arbsga2}, we have $D(M) \simeq D^{\Sigma}(M)$ as $R$-modules.

3:

 %as defined in \cite[Theorem 4.7]{lzzp2}.

1:

 ...(59 bytes skipped)...>0$ is a {\em uniformity block for $\mu$ (with tolerance $\eta>0$)}  if there exist $Z,r,K,C$ as in Theorem~\ref{t=pesin}

5:

 $\Delta$ satisfies the condition in Theorem~\ref{thm:reisner}.

5:

  Comparison Theorem.

3:

 ...(13 bytes skipped)...e polynomials in coordinates (for a general definition see~\cite[Section~4.6]{Dima}, in particular, Theorem~40 there).

1:

 \begin{definition}[Open Mapping Theorem]

1:

 \begin{definition} Given set of models $\mathcal{H},$ satisfying the conditions in Theorem \ref{Main Theorem}, $tAIC$ is the following criterion

2:

 If \(M\) is as in Theorem~\ref{thm:invariance}, let \(\barT_M\) be the covering space of \(T_M\) whose 

3:

 This polynomial is in terms of the largest $SLP$, which by Theorem~\ref{largest_slp}

3:

 ...(51 bytes skipped)...hbb{P}$, the \textbf{lift} of $\mathbb{P}$ is the 2-monad (resp.\ pseudomonad) $\mathbb{P}^+$ as in Theorem \ref{thmPolynomialPseudomonadLifts}.

1:

 \begin{definition} (Definition-Theorem). The events $A$ and $B$ are independent if and only if $1_{A}$

2:

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

1:

 \begin{definition}[Monotone Convergence Theorem]

2:

 The {\em Monotone Convergence Theorem} is the function

6:

 where (a) follows from \cite[Theorem 8]{AG76}.

2:

 ...(15 bytes skipped)...ot-like complex and let $C(a_1, \dots, a_n)$ be the standard complex representative of $C$ given by Theorem \ref{thm:char}. Define

1:

 \begin{definition}[{See \cite[Theorem 9.1]{IkedaNaruse}}]\label{GP-def}

2:

 A vector field $X$ on $Q$ satisfying conditions of the Theorem \ref{FirstThofred} will be called solution for the constrained Hamilton-Jacobi problem given by the...(67 bytes skipped)...

2:

 ...(2 bytes skipped)...et $X$ be a CAT(0) space and $\Gamma\subset X$ a Jordan curve. A map $u\in \Lambda(\Gamma,X)$ as in Theorem \ref{thm:plateau} above is  called a {\em minimal disc}

1:

 \begin{definition} Let $\Gamma$ be a ribbon graph that satisfies the assumptions before Theorem \ref{cor:face}. Then the  subalgebra $\mathcal M_{\Gamma}=\mathrm{Im}(P^*_{flat})\subset \mathcal A...(53 bytes skipped)...

2:

 ...(41 bytes skipped)...ion} of problem \eqref{intro:eq:kol1} -- \eqref{intro:eq:kol2} when we are under the assumptions of Theorem~\ref{thm:duaz}, $z$ being the solution given by this theorem.

1:

 ...(39 bytes skipped)...} is an $n$-knot $K$ that admits a Seifert surface $F^{n+1}$ with $\pi_q(F)=0$ for $2q<n$. By \cite[Theorem 2]{MR0179803}, this definition is equivalent to saying that $\pi_q(X_K)\cong \pi_q(S^1)$ for $2q< n...(2 bytes skipped)...

4:

 %    e.g.\ here is the reference to the Theorem~\ref{TH1} below.

2:

 ...(16 bytes skipped)...m cycle} for the Kasparov group $KK_G(\C,\C)$ is $(\Omega^{\ast}_{L^2}(X), D_{\mathrm{dR}})$, as in Theorem~\ref{thm-de-Rham-cycle}.  We shall denote by  $[D_{\mathrm{dR}}]\in KK_G(\C,\C)$ the associated $KK...(8 bytes skipped)...

6:

 Theorem~\ref{th:cluster-lamin} is denoted

2:

 A \emph{Target Theorem (TT)} is a theorem currently being attempted in

4:

 A \emph{Source Theorem (ST)} is a theorem which has been suggested as similar to the TT

2:

 ...(36 bytes skipped)...he space of smooth hyperelliptic Riemann surfaces $Y$ of genus $g$ with the properties described in Theorem \ref{theorem_spectral_curve}, such that $d\ln\mu$ has no roots at the branchpoints of $Y$.

2:

 ...(36 bytes skipped)...\infty),\mathcal{P}(\T))$ is a solution to the gradient flow equation, if the vector field $v$ from Theorem~\ref{thm:abscontinuitytan} satisfies

1:

 ...(45 bytes skipped)...set \mathcal{I}$ to be the  collection of $\widehat{\gs}\in\mathcal{I}$ such that the conclusion of Theorem \ref{instabilitycorollaryweak} does not hold for any sequences $\tdelta_k\to0^+$ and $\tu_{1,k}\to ...(5 bytes skipped)...

1:

 ...(125 bytes skipped)...rtial open book decompositions $(S,P,h,\mathbf{c},f)$ of $(M,\Gamma,\xi)$. This is the constant  in Theorem \ref{thm:well-defined2}.

2:

 Let $k$ be as in Theorem \ref{mainth3}. We define the marked length distance map $d_L: \mc{M}^{k,\alpha}\x \mc{M}^{k,\alpha}...(12 bytes skipped)...

2:

 In accordance with Theorem 2.5 of~\cite{korte2012combinatorial}, a graph $T$ with a vertex $s$ is an arborescence rooted at $s...(100 bytes skipped)...

4:

 Theorem \ref{skil}. 

2:

 three conditions of Theorem~\ref{THM:slackconditions}.

1:

 \begin{definition} Let $\delta_0$ be as given in Theorem \ref{g_extension}. We call the parameters $\boldsymbol{\delta}$, $\boldsymbol{w}$ \emph{permissible...(106 bytes skipped)...

5:

   Theorem~\ref{Thm:RiskSymmetryProps}.

1:

 ...(57 bytes skipped)...set \mathcal{I}$ to be the  collection of $\widehat{\gs}\in\mathcal{I}$ such that the conclusion of Theorem \ref{instabilitytheoremweak} does not hold for any $(\tdelta, \tu_*)$ with $\tdelta<\varepsilon$.

4:

 ...(22 bytes skipped)...$\Sig=\{a,b_1,\ldots,b_{n-1},c\}$, and each letter in $\Sig$ performs the transformation defined in Theorem~\ref{thm:monotonic_gen}. 

2:

 Theorem 1. Let $\varepsilon>0$ and $n$ $\in$ $\N$. We say that

4:

 kernel on $K$ as constructed in Theorem \ref{the.B.1.16} with $G$ replaced by

3:

   solution of Eq.~\eqref{eq:HIVVintro} provided by Theorem \ref{thm:main}.

3:

 % \OBCOMMENT{A compléter selon preuve de Theorem~\ref{th:cont_redux}}

1:

 \begin{definition}\cite[Theorem 1]{Lenzing97}

2:

   The polynomial introduced at {\bf Theorem \ref{the:int}} is called

4:

 in Theorem \ref{Texists} can be taken to be $\{ h_n \}$ itself and $L$

1:

 \begin{definition}\cite[Theorem 1.3]{melody}

4:

   call every recovery sequence $( u^\eps ) \in \mathcal A$ in Theorem

2:

 ...(12 bytes skipped)...ingularity of the first kind, the singular orbit with all the non-standard operators constructed in Theorem \ref{theorem:construction_1} included in it, is called the \be{singular BGG complex} of infinitesim...(28 bytes skipped)...

2:

 ...(10 bytes skipped)...(\mu,0) \in \R \times X$ is called a bifurcation point for equation \eqref{eq:RabinowitzBiffurcationTheorem...(12 bytes skipped)... every neighbourhood of $(\mu,0)$ contains a nontrivial solution of \eqref{eq:RabinowitzBiffurcationTheoremEquation}.

2:

 ...(114 bytes skipped)...b_{n-2},c_1,\ldots,c_{n-2},d,e\}$, and each letter in $\Sig$ performs the transformation defined in Theorem~\ref{thm:nm}.

4:

 procedure in Step 1 of the proof of Theorem~\ref{thm:stkblhastff}. 

1:

 \begin{definition}Following \cite{Eckhoff}, (Theorem 9.1) we say that a partition\\ $(\V(\p), \V(\q))$ in $\M^d$ is \emph{primitive} if the convex hull ...(115 bytes skipped)...

2:

 ...(112 bytes skipped)...\'e inequality (or that $X$ is an asymptotic NPI space for short) if it satisfies the conclusion of Theorem \ref{t:true-PI}.

5:

 %  Theorem~\ref{Thm:RiskSymmetryProps}.

2:

 ...(102 bytes skipped)... completion of $Z$ in $B$ obtained by applying the lifting map $\lambda$ introduced in the proof of Theorem \ref{thm:free} to $\phi_0$.

2:

 ...(39 bytes skipped)...ne the \emph{degree} $\deg(f)$ of $f$ to be the number of variables for $f$ which are not weak (see Theorem \ref{chowclassify}). If $\deg(f) = n$, then $f$ is said to be \emph{nondegenerate}. 

3:

  call $\wh{\mathsf{T}}_{(\Lambda\circ f,\mathfrak{o})}$ defined in Theorem \ref{THM1541} the {\bf canonical orientation}

2:

 By \cite[Theorem 2.3.2]{waldhausen},  there is a natural map $\Perf(S) \to K(S)$, which is group completion of a sim...(70 bytes skipped)...

5:

 be shown in Theorem~\ref{gromovthm} that a cubical complex is CAT(0) 

4:

 Hausdorff space in the weak* topology. (By Alaoglu's Theorem, cf.\ the appendix

2:

   We call a curve $C \subset X$ as in Theorem~\ref{thm:fmr} a

6:

 %Recall that $h([a,b])$ is defined in \eqref{alphabyp}, and Theorem \ref{thm1} assumes $h^+ \leq \frac{\alpha}{200}$.

2:

 Let $\rho(A)$ be the spectrum of $A$. In Theorem~\ref{thm:gamma}, each element of $\rho(\Gamma_2)$ is called as Floquet exponent meanwhile each elem...(69 bytes skipped)...

4:

 condition 2 of Theorem~\ref{thm:std-form-inj}, and let $h=\Pi[A\cont A]$.

4:

 $B$ of $G$. This is equivalent to $X$ having finitely many $B$-orbits (see \cite{brion} or \cite[Theorem 1]{Vinberg1986}).

3:

 Let $\Bcal=(\Sigma, \gamma, H)$ be Bartnik data with critical parameter $\lambda_0$ (from Theorem \ref{thm_interval}).  

3:

 $\mathfrak{m}$-complete (cf. \cite[Theorem 7.3.4.1]{lurie2016spectral}), where $\mathfrak{m} \subset \pi_0(A)$ is the unique

3:

 ...(5 bytes skipped)...\langle U, \vee, \wedge\rangle$ be an algebraic system. If $\wedge$ and $\vee$ satisfy (P2)-(P4) of Theorem~\ref{THLattice}, then

4:

   C^*(\Bcal)\dsh$equivalence bimodule $C^*(\Xcal)$ of Theorem

1:

 ...(141 bytes skipped)...mph{triangular} if all the intermediate surfaces $S_i$ that appear in the factorization produced by Theorem \ref{th:main} are singular. 

2:

 ...(54 bytes skipped)...eral weak geometric lemma} (BWGL) if $E$ is Ahlfors regular and one of the equivalent conditions in Theorem~\ref{thm:BWGL-vertical-versus-arbitrary} holds. 

2:

 ...(60 bytes skipped)...ucture $\prt{\mathbb{A},\Twoheadrightarrow,\Rightarrow,[\top,\top]}$ obtained by the method used in Theorem \ref{ThIntBCI} is called 

1:

 \begin{definition} \label{D:compatible} If there is some $\mc{R}$ as in Theorem \ref{T:CC} such that

2:

 ...(44 bytes skipped)...s \emph{toral} if for each $k \ge 1$ the structure group\footnote{For a definition see \cite{GMV1}*{Theorem 5.4}.} $A_k(X)$ is isomorphic to a torus $(\RR/\ZZ)^d$ for some integer $d$ (which depends on $X$ a...(8 bytes skipped)...

2:

 Let $F$ be the driver for a discrete time BSDE (\ref{eq:BSDEgen}) satisfying the conditions of Theorem \ref{thm:BSDEExist}. We define $\mathfrak{F}$, the zero hedging function associated with $F$, to be...(1 bytes skipped)...

3:

 is called \emph{$n$-central} if it satisfies one of the equivalent conditions of Theorem \ref{thm:centrale}.

1:

 ...(80 bytes skipped)...e $\cG$ of rank three on $Q^5$ is said to be {\it Ottaviani bundle} if the equivalent conditions of Theorem~\ref{them:ott} hold for $\cG$. In the following, any Ottaviani bundle is denoted by $\cG_o$.

3:

 ...(112 bytes skipped)...\frac{2^{16}\cdot \dmax^6}{(\alpha^*)^2}\cdot|\Gamma(S)|^2$, where $\alpha^*$ is the parameter from Theorem \ref{thm: well-linked}.

2:

 ...(46 bytes skipped)... space of infinite $\mathbb{R}^K$ valued sequences. We note that the predictable processes $Z^i$ in Theorem \ref{thm:martrep} can be written as a vector process $Z$, which takes values in $\mathbb{R}^{1\time...(26 bytes skipped)...

2:

 The Lie algebra $(\mathfrak{g},\omega,\cdot)$ obtained in Theorem \ref{F15} is called \emph{the double extension} of the flat affine symplectic Lie algebra $(B,\omeg...(70 bytes skipped)...

5:

 of Theorem \ref{proplinearspectrum} (see Figure \ref{fig1}).

3:

 The Iwasawa decomposition of $G$ \cite[Theorem 6.46]{K96} is 

5:

 \cite[Theorem 11]{BJSSTCompute}), so $\trop(Y)$ is a piecewise linear object.

4:

 ...(28 bytes skipped)...},c_1,\ldots,c_{n-1},d\}$, and each letter in $\Sig$ performs the partial transformation defined in Theorem~\ref{thm:po}.

2:

 Following the notation in Theorem \ref{Theorem1:geodesic}, the {\em covariance-corrected geodesic distance estimator} between points $x,y\in M$ is...(11 bytes skipped)...

2:

 the images of the Berman generators from Theorem~\ref{Berman} satisfy  

2:

 Let $\F_f:\N \rightarrow U(\g)^M$ be the unique D-algebra morphism given by Theorem \ref{universalD-alg} by associating \,$\ab$\, to a vector field $f:M \rightarrow \g$. This is calle...(63 bytes skipped)...

2:

 Let $R_{h}$ denote the generalized Clement interpolant operator from Theorem 5.1 in

2:

 In the setting of Theorem \ref{thm:LC}, the set of $G$-conjugacy

2:

 ...(121 bytes skipped)...their null spaces are  convertible to {\color{dblue} each other} %through finite (or none) steps of Theorem \ref{thm8.1}.

1:

 \begin{definition}[Baire Category Theorem]

7:

 where $Q$ denotes the Youla parameter of $K$ in Theorem~\ref{thm:main}.

4:

 <+\infty $, with the notations of the above Geometrical Theorem, it will be

2:

 ...(22 bytes skipped)...bra with bijective antipode. A right $H$-comodule algebra $(A,\rho_A)$ satisfying the conditions of Theorem \ref{DSHA15} is called a \emph{principal comodule algebra}.

1:

 ...(33 bytes skipped)... $(\mathfrak{g},K)$-module $(\pi, H_K)$ attached to an admissible group representation $(\pi,H)$ by Theorem \ref{harishchandraassoc} is called the Harish-Chandra module of $(\pi,H)$. 

2:

 With assumptions of Theorem \ref{BoldChiNWellDef} on the $\bar{g}_i$, $\boldsymbol{\chi}_{\eps}^{N}$ is called the \textit{part...(44 bytes skipped)...

6:

 where the last equality is given by the Maximum Modulus Theorem \cite{doyle_dft}.

1:

 \begin{definition} \label{GSP} If in Theorem \ref{GSKP} we choose the cubic $\mathcal{D}_3$

3:

 Theorem~\ref{thm:criticaltraj}) to the sheets $\mathcal R_1$ and $\mathcal R_3$.

2:

 ...(124 bytes skipped)...lised as a fibre of a Mori Fibre Space $f\colon X \rightarrow Y$ over $U'_f$, where $U'_f$ is as in Theorem \ref{Deligne}.

3:

 Let $(V,\F)$ be an infinitesimal foliation, and let $\F_2$ be the associated  foliation from Theorem \ref{MT:classification}. The indecomposable factors $V_i$ of $(V,\F_2)$  are called the \emph{isoty...(30 bytes skipped)...

4:

 Theorem \ref{thmalphamart}, we

5:

 			\item $\xi$ was obtained by iteratively applying Theorem \ref{theorem-xi-^-L-*} to $*$.

4:

 max-stable process $X^*$ from Theorem \ref{thm:ECF_ND}\textup{(b)} \emph{Tawn--Molchanov process (TM process)} henceforth.

3:

  and polyhedral structures defined in Theorem

1:

 ...(144 bytes skipped)...uch that the deriving transformation and the integral transformation satisfy the Second Fundamental Theorem of Calculus and the Poincar\' e condition. 

2:

 ...(42 bytes skipped)...tvar{x})$ is a $T$-definable set, we will mean that $\varphi(\tvar{x})$ satisfies the conditions of Theorem \ref{thm:syntactic-definability}, and thus defines the distance to its zero-set in any model.

2:

 ...(115 bytes skipped)...he same \defined{pouch} if $\Theta_{\pi_1}$ and $\Theta_{\pi_2}$ (functions on $\tilde G^{\reg}$ by Theorem \ref{CharacterFunction}) coincide on $\tilde G^{\creg}$.

1:

 \begin{definition}[Weak Bolzano-Weierstra\ss{} Theorem]

2:

 The notations being as in Theorem \ref{thm hecke}, we define the regularized values of $\Lambda(f,s)$ at $s=0$ and $s=k$ by

1:

 ...(22 bytes skipped)... comparison between $Y$ and $\bar Y$ will be called \textbf{strict} on $[s,T]$ if the conditions of Theorem \ref{thm:CompThm} hold, and, for any $A\in\mathcal{F}_s$ such that $Y^1_s=Y^2_s$ $\mathbb{P}$-a.s. ...(70 bytes skipped)...

1:

 \begin{definition}[Bolzano-Weierstra\ss{} Theorem]

2:

 Assume the hypotheses of Theorem \ref{thm.carleman_est_wp}, and define

3:

  and locally polyhedral structures defined in Theorem

5:

 it satisfies the conditions of Theorem~\ref{the4}.

2:

 ...(86 bytes skipped)... \ref{def:quantumWiretapChannel} such that its Kraus decomposition $\left\{ A_i \right\}$ satisfies Theorem \ref{teo:condicoesDFS}.

3:

 setting by \cite[Theorem 3.6]{RTRW}). The Horizon cone $C^{\infty}$

5:

 to $Q$ if $F$ from Theorem \ref{prop:equiv} is computable in polynomial time.

3:

 conditions (a) and (b) of Theorem~\ref{intfacn} is called a

3:

 We keep the notation of Theorem \ref{thm_defect_measure}.

1:

 ...(95 bytes skipped)...,\beta)}, B_{(\alpha,\beta)})$ constructed from an admissible non-null pair  $(\alpha,\beta)$ as in Theorem~\ref{thm:BV} will be called $(\alpha,\beta)$-{\bf radix systems} and denoted $R(\alpha,\beta,\pm)$....(1 bytes skipped)...

4:

 and eigenform $f \in M_{k,l}(U;E)$ as in the statement of Theorem~\ref{thm:galois}.\end{definition}

4:

 Theorem \ref{thm:ozawa} {\it a spectral gap} and {\it the spectral gap} (in the sense of Ozawa),

2:

 ...(25 bytes skipped)...pha)$ be an orbifold that is parabolic or hyperbolic. The map $\Theta\: \XX \rightarrow S_0^2$ from Theorem~\ref{thmUniOrbCoverBM} is called the \defn{universal orbifold covering map} of $\mathcal{O}$.

1:

 \begin{definition}[Theorem 7.13 of \cite{Sar-tensor}]\label{def:SarVnIdent}

2:

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

2:

 The limits from Theorem~\ref{theorem:conditioned}, as $x\downarrow a$, $x\uparrow a$, $x\downarrow -a$ and $x\uparrow -a$, ...(143 bytes skipped)...

3:

 Parameter $\alpha$ is \emph{reasonable} if it satisfies the condition of Theorem~\ref{Theo2} for a transportation network $(N,D) \in \mathcal{N}$. The largest $\alpha$ with this pr...(61 bytes skipped)...

2:

 A section $\sigma_{\mu}$ of $\pi_{\mu}$ satisfying conditions of the Theorem \ref{mmmmmm} will be called $\mu-$solution for the reduced constrained Hamilton-Jacobi problem give...(110 bytes skipped)...

2:

 The result is independent of the choice of isotopy by Theorem \ref{generic2invariance}.

2:

 In the setting of Theorem \ref{thm index}, the \emph{equivariant index} of the pair $(\Bigwedge_J TM \otimes L, \psi)$ is

3:

 ...(93 bytes skipped)...thful, smooth functor. Then, the anafunctor $\bar F: \mathcal{Y} \to \mathcal{X}$ from the proof of Theorem \ref{weak} is called the \emph{inverse anafunctor of $F$}.

2:

 ...(78 bytes skipped)...ing level set $E_h$ either is empty or satisfies the properties \ref{th:ABC2-1}--\ref{th:ABC2-4} of Theorem~\ref{th:ABC2}. In this case we will also call the level set $E_h$ \emph{regular}.

2:

 A section $X_{\mu}$ of $\tau_{\mu}$ satisfying conditions of the Theorem \ref{Hor234sd} will be called $\mu-$solution for the reduced constrained Hamilton-Jacobi problem gi...(115 bytes skipped)...

1:

 \begin{definition}[{\rm see  \cite[Theorem~VII.13]{Brelo2}}] A closed set $F\subset\mathbb R^n$ is said to be {\it $\alpha$-thin

2:

 ...(60 bytes skipped)...e inverse of $F$ relative to $S(0,1)$ has $x=0$ as an $\alpha$-irregular boundary point (cf.\ \cite[Theorem~5.10]{L}).\end{definition}

3:

 With $f$ as in the hypotheses of Theorem...(105 bytes skipped)...e of the ray $R_{\phi} = \{ z : \arg(z-z_0) = \phi \}$  under the B\"ottcher coordinate $\psi$ from Theorem \ref{thm:bottcher}.

3:

 Theorem~\ref{thm:gs-subspace-parent}) is called \emph{injective} if

2:

 ...(134 bytes skipped)... an elliptic automorphism. Then the point $\tau\in\overline{\Delta}$ whose existence is asserted by Theorem~\ref{th:2.WD} is the \emph{Wolff point} of~$f$.

1:

 ...(137 bytes skipped)...$\mathsf{d}_A$ and the integral transformation $\mathsf{s}_A$ satisfy the \textbf{First Fundamental Theorem of Calculus}, $\mathsf{d}_A\mathsf{s}_A=1_{\oc A \otimes A}$. 

1:

 \begin{definition}[Closed Graph Theorem]

2:

 If $1 \leq t \leq 2^n$ and $s \equiv 2t \bmod 2^n+1$, then ${\rm dim}_k(B_s)={\rm dim}_k(B_t)$ by Theorem \ref{TblockactionFV}(2)(4).

2:

 ...(131 bytes skipped).... For each $p \in \PP$, we will refer to a geometric graph $\mathfrak{F}_p$, as in the statement of Theorem \ref{fractaltree}, as a \emph{fractal tree} on $T_p$.

1:

 \begin{definition}[Bolzano-Weierstra\ss{} Theorem]

3:

 property if there exists $\ka>0$ such that the Gram matrix in the context of Theorem~\ref{gram-inv} has the same distribution as for~$\mu$.

2:

 ...(156 bytes skipped)...l $\tau\in \Sym(k)$. \footnote{The concept of an invariant partition has already been introduced in Theorem 6.1 in \cite{pono}.}

2:

   In the same notation of Theorem~\ref{thm:notors1-cov}, $\phi:\widetilde{X}\twoheadrightarrow X$ is called the \emph{canonical 1-cov...(162 bytes skipped)...

5:

 from Theorem~\ref{thm:class}.

2:

 Assume the hypotheses of Theorem \ref{thm.carleman_est_wp}, and define the operators

2:

 ...(27 bytes skipped)... we let the \emph{core Fock module} of $S$ be the right Hilbert $C^*(S)$-$C^*(S_c)$-module $\FM$ of Theorem...(1 bytes skipped)...\ref{thm:core Fock module}. We let $\pi_\FM$ denote the $*$-homomorphism $C^*(S) \to \CL(\FM)$ from Theorem~\ref{thm:core Fock module}.

2:

 We say a lift $\cR_\bR$ is \defn{relevant} if it satisfies the criteria in Theorem \ref{thm:main} {\em and} the normalizing conditions (i) $int(\supp \cR_\bR)= (x_1,x_2)$ for $x_1 \i...(92 bytes skipped)...

3:

 %   stable if for all ewp (defined in Theorem~\ref{thm-output-weighted-rDT-eqal-wit})

2:

 A section $\overline{\sigma}$ of $\overline{\pi}_{Q}$ satisfying conditions of the Theorem \ref{ThirdThofred} will be called solution for the reduced constrained Hamilton-Jacobi problem give...(110 bytes skipped)...

4:

 Theorem \ref{crystal-structure-quantum-super-pdes} are verified.

6:

   condition from \cite[Theorem~D]{CF}.  

2:

 A section $\overline{X}$ of $\overline{\tau}_{Q}$ satisfying conditions of the Theorem \ref{SecondThofred} will be called solution for the reduced constrained Hamilton-Jacobi problem giv...(114 bytes skipped)...

3:

   satisfying the conditions of Theorem~\ref{thm:rel_iff}. The map

2:

   A Turing ideal $\mathcal{I}$ satisfies $\mathbf{trRT^2_k}$ (``transitive Ramsey's Theorem for pairs with $k$ colors'') if whenever $c:[\mathbb{N}]^2\rightarrow[1,k]$ is a coloring where all...(112 bytes skipped)...

2:

 We identify $\VWd(\alpha,\beta)$ with $\END_\mg(\MdV)$ via Theorem~\ref{iso}. Define the orthogonal {\em weight idempotents} $\ei$, $\bi \in J^d$ characterized by the...(15 bytes skipped)...

4:

 	as guaranteed by Theorem \ref{Lau}.

2:

 Let $\mu, \nu, M^*$ be as in Theorem  \ref{MainTheoremIntro}. Then we call $M^*$ the \emph{stretched Brownian motion} (\sbm) from $\mu$ to $\nu$. We defin...(54 bytes skipped)...

1:

 \begin{definition}[See Section 4.5 and Theorem 4.5 of \cite{soltan05}]

2:

 In the setting of Theorem~\ref{t:FixedMap}, let $U$ be the unique solution to the equation~\eqref{e:AbstractEquation} on $[0,...(78 bytes skipped)...

2:

 ...(126 bytes skipped)...ant random subgroup of $G$ such that $\rho$ is a subgroup of $\stab_{*}\nu$.  The construction from Theorem \ref{T:moreuseful} is the \textbf{free extension of $(X,\nu)$ by $\rho$}.

3:

  A pair $(\wt q(t),\wh u(t))$ satisfying the necessary conditions for optimality provided by Theorem~\ref{thm:pmp_hamiltonian} (i.e., the existence of a covector curve $\wt \Lambda_t$ satisfying \eqre...(83 bytes skipped)...

2:

 Let $O, S_1,S_2,S$ be as in Theorem~\ref{Aron}. We say $(S_1,S_2)$ is a bounded

1: