\section{Introduction}

This paper is placed in the framework of IST (\cite{Vanden},\cite{Francine},\cite{Nelson}), where
to prove the result announced above in the abstract, the main tools are the
use, instead of an infinite set $X$, of a finite subset $F=\left\{
x_{1},x_{2},...,x_{N}\right\} \subset X$ containing all standard elements of
$X$, transfer principle and standardization principle. In addition, since we
can construct several alternatives of linear order on a given set \cite{boudaoud} , we give some other applications, which are Propositions 6, 7
and 8. Let us recall the
\noindent \textbf{Standardization principle \ }: For all formula $F\left(
Z\right) $ internal or external, we have:

\begin{equation}
\forall ^{st}x\exists ^{st}y\forall ^{st}z\left[ z\in y\iff z\in x\RIfM@\expandafter\text@\else\expandafter\mbox\fi{ and
}F\left( z\right) \right]  \@ifnextchar*{\@tagstar}{\@tag}{S}
\end{equation
where $x$ is the referential set and $y$ is a standard set which is the
standardized of $\left\{ z\in x\RIfM@\expandafter\text@\else\expandafter\mbox\fi{ and }F\left( z\right) \right\} $. We
put $y=\left\{ z\in x\RIfM@\expandafter\text@\else\expandafter\mbox\fi{ and }F\left( z\right) \right\} ^{s}$. Thus, by
using the principle (S), we can associate a standard set for any given set.
Hence, it is a principle of construction.\newline
\begin{definition}
\noindent 1) If $T_{1}$ and $T_{2}$ are subsets of a linearly ordered set,
we call $T_{1}$ strictly dense (resp. dense) in $T_{2}$, if for every two
elements $a<b$ of $T_{2}$ there exists an element $c\in T_{1}$ with $a<c<b$
(resp. $a\leq c\leq b$).\newline

\noindent 2) Let $A$ and $B$ be a given sets. $A$ is called equivalent to $B
, written $A\sim B$, if there exists a function $f:A\longrightarrow B$ which
is one-one and onto.\newline
\end{definition}

\noindent \textbf{Notation.} Let $n$ be a positive integer, $n\approx
+\infty $ denotes that $n$ is unlimited.\newline

We need to recall that from the main result of \cite{boudaoud} we
immediately deduce
\begin{theorem}
 Let $X$ be any infinite standard set, let 
G=\left\{ \beta _{1},\beta _{2},...,\beta _{N}\right\} \subset X$, $\left(
N\approx +\infty \right) $ be a subset containing all the standard elements
of $X$ and let $\Omega =\left\{ \left( \beta _{i},\beta _{j}\right) _{N\geq
i\geq 1\RIfM@\expandafter\text@\else\expandafter\mbox\fi{ },\RIfM@\expandafter\text@\else\expandafter\mbox\fi{ }N\geq j\geq i}\RIfM@\expandafter\text@\else\expandafter\mbox\fi{ }:\beta _{i},\beta _{j}\in
G\right\} \subset X\times X$. Then, the relation $\preceq $ defined by 
\Omega ^{s}$ from $X$ to $X$ as follow
\begin{equation*}
x\preceq y\RIfM@\expandafter\text@\else\expandafter\mbox\fi{ iff }\left( x,y\right) \in \Omega ^{s}
\end{equation*
is a standard total ordering on $X$.
\end{theorem}



\section{Main results}
\begin{theorem}(Szpilrajn $\left[ 1930\right] $ \textbf) \cite{Egbert} \textbf{.} Let $\left( P,\leq \right) $\ be a poset. Then
there exists a linear order $\leq _{\ast }$\ on $P$\ which contains $\leq $,
a so-called linear extension of $\leq $. In particular: if $a$\ and $b$\ are
incomparable elements, this linear order can be chosen in such a way that 
a\leq _{\ast }b$\ holds.\newline
\end{theorem}
\begin{proof}
In order to prove this result we need the
following lemmas whose proofs are without use AC \cite{Egbert}.\newline

\begin{lemma}

$\left[ \cite{Egbert}, \RIfM@\expandafter\text@\else\expandafter\mbox\fi{ p. 53}\right]  \textit{.} $ \textit{Let }
\left( P_{1},R_{1}\right) $\textit{\ be a poset, }$a$\textit{\ and }$b
\textit{\ two incomparable elements of }$P_{1}$\textit{. Then there exists
an order relation }$\widetilde{R_{1}}$\textit{\ on }$P_{1}$\textit{\ which
contains }$R_{1}$\textit{\ and in which }$a\widetilde{R_{1}}b$\textit{\
holds.}
\end{lemma}
\begin{lemma}

$\left[ \cite{Egbert}, \RIfM@\expandafter\text@\else\expandafter\mbox\fi{, p. 27}\right] $ \textit{.} Every order 
R_{2}$ on a finite set $P_{2}$ is a subset of a linear order on this set. In
other words: Every order relation on a finite set is extendible to a linear
order.
\end{lemma}

\noindent Hence, lemma 5 is a partial statement of the theorem of Szpilrajn.

Return to the proof in question. By transfer, we may assume that $P$, $\leq 
, $a$ and $b$ are standard. We distinguish the two following cases.\newline

\noindent \textbf{A)} $P$ \textit{is finite.} By lemma 4, there exists an
order relation $\widetilde{\leq }$ on $P$ which contains $\leq $ and in
which $a\widetilde{\leq }b$ holds. Now, by lemma 5 \textit{there exists a
linear order }$\widetilde{\widetilde{\leq }}$ which contains $\widetilde
\leq }$. By taking $\widetilde{\widetilde{\leq }}$ for $\leq _{\ast }$, we
finish the proof for this case. Indeed, \textit{since }$\widetilde
\widetilde{\leq }}$ is \textit{a linear order, }$\leq _{\ast }$is also.
Since $\leq \subset \widetilde{\leq }\subset \widetilde{\widetilde{\leq }
=\leq _{\ast }$, $\leq _{\ast }$\textit{\ contains }$\leq $. Moreover, the
fact that $a\widetilde{\leq }b$ entails, since $\widetilde{\leq }\subset
\widetilde{\widetilde{\leq }}$, $a\widetilde{\widetilde{\leq }}b$ i.e. 
a\leq _{\ast }b$.




\noindent \textbf{B)} $P$ \textit{is infinite. }Let $P_{1}=\left\{
y_{1},y_{2},...,y_{N}\right\} $ be a finite subset of $P$ containing all
standard elements of $P$, where $N$ is necessarily an unlimited integer. In
particular, $a$ and $b$ belong to $P_{1}$, since they are standard.
Now, let us consider the poset $\left( P_{1}\RIfM@\expandafter\text@\else\expandafter\mbox\fi{,}\leq \uparrow
P_{1}\right) $ and denote the order $\leq \uparrow P_{1}$ by $R_{1}$, where 
\leq \uparrow P_{1}$ is the restriction of $\leq $ to $P_{1}$.

Then by lemma 4 there exists an order relation $\widetilde{R_{1}}$\ on 
P_{1} $\ which contains $R_{1}$\ and in which $a\widetilde{R_{1}}b$\ holds.
Again, by lemma 5 there exists a linear order $R$ on $P_{1}$ which contains 
\widetilde{R_{1}}$. Then $aRb$.

Since $\left( P_{1},R\right) $ is a chain, we can put $P_{1}=\left\{
x_{1},x_{2},...,x_{N}\right\} $ ($x_{i}\in \left\{
y_{1},y_{2},...,y_{N}\right\} $ for $1\leq i\leq N$), such that $x_{1}Rx_{2}
, $x_{2}Rx_{3}$, $x_{3}Rx_{4}$, $...$, $x_{N-1}Rx_{N}$. We notice here that 
a$ (resp. $b$) corresponds to $x_{i_{1}}$ (resp. to $x_{i_{2}}$), where $i_{1}
, $i_{2}$ are in $\left\{ 1,2,...,N\right\} $ with $x_{i_{1}}Rx_{i_{2}}$ since 
a\widetilde{R_{1}}b$. Let $G=\left\{ \left( x_{i},x_{j}\right) _{N\geq i\geq
1\RIfM@\expandafter\text@\else\expandafter\mbox\fi{ },\RIfM@\expandafter\text@\else\expandafter\mbox\fi{ }N\geq j\geq i}\mid x_{i},x_{j}\in P_{1}\right\} $ be the
graph of $\left( P_{1},R\right) $, where saying that $\left(
x_{i},x_{j}\right) \in G$ is the same to saying that $x_{i}Rx_{j}$. Let 
G^{s}\subset P\times P$ be the standardization of $G$. It is known that 
G^{s}$ defines a relation $\Gamma $ from $P$ to $P$ as follow
\begin{equation*}
x\Gamma y\RIfM@\expandafter\text@\else\expandafter\mbox\fi{ iff }\left( x,y\right) \in G^{s}\RIfM@\expandafter\text@\else\expandafter\mbox\fi{.}
\end{equation*}

\noindent According to theorem 2, $\Gamma $ is a total order on $P$.

Now, we prove the remainder of the theorem. Let $(x,y)\in P^{2}$ be a
standard element verifying $x\leq y$. Then we have successively $xR_{1}y$, $
\widetilde{R_{1}}y$, $xRy$. Then $\left( x,y\right) \in G$ and therefore 
\left( x,y\right) \in G^{s}$ because $(x,y)$ is standard. Hence $x\Gamma y$.
So

\begin{equation*}
\forall ^{st}\left( x,y\right) \in P^{2}\left[ \left( x\leq y\right)
\Longrightarrow x\Gamma y\right] \RIfM@\expandafter\text@\else\expandafter\mbox\fi{.}
\end{equation*
Then by transfer, $\forall \left( x,y\right) \in P^{2}\left[ \left( x\leq
y\right) \Longrightarrow x\Gamma y\right] $. Hence, $\Gamma $ contain
\textit{\ }$\leq $. From what precedes, we have concerning $\left(
a,b\right) $: $aRb$. This shows that $\left( a,b\right) \in G$ i.e. $\left(
a,b\right) \in G^{s}$ since $\left( a,b\right) $ is standard. Consequently, 
a\Gamma b$. Now, by taking $\Gamma $ for $\leq _{\ast }$ we finish the proof
for this case. By transfer, we conclude for all $P$.\newline
\end{proof}
\newline

\begin{proposition}
Let $X$ be any set. Suppose that $A$ and
$B$ are nonempty disjoint subsets of $X$. Then we can provide $X$ by a total
ordering $\preceq $ such that

\begin{equation*}
\forall x,y\in X\left[ \left( x\in A\RIfM@\expandafter\text@\else\expandafter\mbox\fi{ and }y\in B\right) \implies
x\preceq y\right] \RIfM@\expandafter\text@\else\expandafter\mbox\fi{.}
\end{equation*
\end{proposition}

\begin{proof}
By transfer, we suppose $X$, $A$ and $B$ are
standard. Le
\begin{equation*}
F=\left\{ \beta _{1},\beta _{2},...,\beta _{N}\right\} \subset X
\end{equation*
be a finite subset containing all standard elements of $X$. Suppose that
this numbering of elements of $F$ has been made so that elements of $A\cap F$
are before those of $B\cap F$. Now, by theorem 2 and transfer we finish
the proof.
\end{proof}


\begin{proposition}
Let $X$ be any set. Let $S$ be a system
of mutually disjoint subsets of $X$. Then we can provide $X$ by a total
ordering such that

\begin{equation*}
\forall A,B\in S\left[ A<B\RIfM@\expandafter\text@\else\expandafter\mbox\fi{ or }B<A\right] \RIfM@\expandafter\text@\else\expandafter\mbox\fi{.}
\end{equation*
\end{proposition}

\begin{proof}
Assume, by transfer, that $X$ and $S$ are
standard. Let $F=\left\{ x_{1},x_{2},...,x_{\omega _{1}}\right\} $, $\omega
_{1}\cong +\infty $ (resp. $S=\left\{ A_{1},A_{2},...,A_{\omega
_{2}}\right\} $, $\omega _{2}\cong +\infty $ ) be a finite subset of $X$
(resp. of $S$) containing all standard elements of $X$ (resp. of $S$). For 
j=1,2,...,\omega _{2}$, we put
\begin{equation*}
F\cap A_{j}=\left\{ y_{j,1},y_{j,2},...,y_{j,n_{j}}\right\}
\end{equation*
which is a finite set containing all standard elements of $A_{j}$. Put 
L=F\setminus \underset{j=1}{\overset{\omega _{2}}{\cup }}\left( F\cap
A_{j}\right) =\left\{ y_{1},y_{2},...,y_{s}\right\} $.

Now, we rearrange elements of $F$ as follows : We begin by elements of 
F\cap A_{1}$, after those of $F\cap A_{2}$, after those of $F\cap A_{3}$ and
so on. Thus $F$ become
\begin{eqnarray*}
F &=&\left\{
y_{1,1},y_{1,2},...,y_{1,n_{1}},y_{2,1},y_{2,2},...,y_{2,n_{2}},...,y_
\omega _{2},1},y_{\omega _{2},2},...,y_{\omega _{2},n_{\omega _{2}}}\right\}
\\
&&\RIfM@\expandafter\text@\else\expandafter\mbox\fi{ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ }\cup \left\{
y_{1},y_{2},...,y_{s}\right\}
\end{eqnarray*
where $\overset{\omega _{2}}{\underset{j=1}{\sum }}n_{j}+s=\omega _{1}$.
Now, by theorem 2 and transfer we finish the proof.
\end{proof}



\begin{proposition}
Let $X$ and $Y$ be any sets. If $X\sim Y$
then we can provide $X\cup Y$ by a total ordering such that $X$ becomes
strictly dense in $Y$.
\end{proposition}

\begin{proof}
By transfer, we may assume that $X$ and $Y$ are
standard. Since $X\sim Y$ then there exists a mapping $\varphi
:Y\longrightarrow X$ which is one-one and onto. By transfer $\varphi $ is
standard. Let $F_{Y}=\left\{ y_{1},y_{2},...,y_{N}\right\} $ be a finite
subset of $Y$ containing all standard elements of $Y$. Then $\varphi \left[
F_{Y}\right] =\left\{ \varphi \left( y_{1}\right) ,\varphi \left(
y_{2}\right) ,...,\varphi \left( y_{N}\right) \right\} $ is a finite subset
of $X$ containing all standard elements of $X$. Let us put

\begin{center}
$F_{X\cup Y}
\begin{array}{c}
\left\{ y_{1},\varphi \left( y_{1}\right) ,y_{2},\varphi \left( y_{2}\right)
,y_{3},\varphi \left( y_{3}\right) ,y_{4},\varphi \left( y_{4}\right)
,\right. \\
\RIfM@\expandafter\text@\else\expandafter\mbox\fi{ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ }\left. ...,\varphi
\left( y_{N-1}\right) ,y_{N},\varphi \left( y_{N}\right) \right\
\end{array
$.
\end{center}

\noindent Then $F_{X\cup Y}$ is a finite subset of $X\cup Y$ containing all
the standard elements of $X\cup Y$. As well as in the theorem 2, we
construct from $F_{X\cup Y}$ the set $G$ and thereafter the set $G^{s}$
which is a standard linear order in $X\cup Y$.

Let $y_{i}$ and $y_{j}$ be standard elements of $Y$ such that $y_{i}\prec
y_{j}$ in $G^{s}$ which is equivalent to $i<j$. Then we have $y_{i}<\varphi
\left( y_{i}\right) <y_{j}$, where $\varphi \left( y_{i}\right) $ is a
standard element of $X$. Therefor
\begin{equation*}
\forall ^{st}\left( \alpha ,\beta \right) \in Y^{2}\exists ^{st}\gamma \in X
\left[ \alpha <\beta \implies \alpha <\gamma <\beta \right] \RIfM@\expandafter\text@\else\expandafter\mbox\fi{.}
\end{equation*
Which, by transfer, entails $\forall \left( \alpha ,\beta \right) \in Y^{2}$
$\exists \gamma \in X$ $\left[ \alpha <\beta \implies \alpha <\gamma <\beta
\right] $. Consequently $X$ is strictly dense in $Y$, where $X$ and $Y$ are
subsets of $X\cup Y$ which is linearly ordered by $G^{s}$.
\end{proof}



\section*{Abstract (Not appropriate in this style!)}%
   \else \small 
   \begin{center}{\bf Abstract\vspace{-.5em}\vspace{\z@}}\end{center}%
   \quotation 
   \fi
  }%
 }{%
 }%
\@ifundefined{endabstract}{\def\endabstract
  {\if@twocolumn\else\endquotation\fi}}{}%
\@ifundefined{maketitle}{\def\maketitle#1{}}{}%
\@ifundefined{affiliation}{\def\affiliation#1{}}{}%
\@ifundefined{proof}{\def\proof{\noindent{\bfseries Proof. }}}{}%
\@ifundefined{endproof}{\def\endproof{\mbox{\ \rule{.1in}{.1in}}}}{}%
\@ifundefined{newfield}{\def\newfield#1#2{}}{}%
\@ifundefined{chapter}{\def\chapter#1{\par(Chapter head:)#1\par }%
 \newcount\c@chapter}{}%
\@ifundefined{part}{\def\part#1{\par(Part head:)#1\par }}{}%
\@ifundefined{section}{\def\section#1{\par(Section head:)#1\par }}{}%
\@ifundefined{subsection}{\def\subsection#1%
 {\par(Subsection head:)#1\par }}{}%
\@ifundefined{subsubsection}{\def\subsubsection#1%
 {\par(Subsubsection head:)#1\par }}{}%
\@ifundefined{paragraph}{\def\paragraph#1%
 {\par(Subsubsubsection head:)#1\par }}{}%
\@ifundefined{subparagraph}{\def\subparagraph#1%
 {\par(Subsubsubsubsection head:)#1\par }}{}%
\@ifundefined{therefore}{\def\therefore{}}{}%
\@ifundefined{backepsilon}{\def\backepsilon{}}{}%
\@ifundefined{yen}{\def\yen{\hbox{\rm\rlap=Y}}}{}%
\@ifundefined{registered}{%
   \def\registered{\relax\ifmmode{}\r@gistered
                    \else$\m@th\r@gistered$\fi}%
 \def\r@gistered{^{\ooalign
  {\hfil\raise.07ex\hbox{$\scriptstyle\rm\RIfM@\expandafter\text@\else\expandafter\mbox\fi{R}$}\hfil\crcr
  \mathhexbox20D}}}}{}%
\@ifundefined{Eth}{\def\Eth{}}{}%
\@ifundefined{eth}{\def\eth{}}{}%
\@ifundefined{Thorn}{\def\Thorn{}}{}%
\@ifundefined{thorn}{\def\thorn{}}{}%
\def\TEXTsymbol#1{\mbox{$#1$}}%
\@ifundefined{degree}{\def\degree{{}^{\circ}}}{}%
\newdimen\theight
\@ifundefined{Column}{\def\Column{%
 \vadjust{\setbox\z@=\hbox{\scriptsize\quad\quad tcol}%
  \theight=\ht\z@\advance\theight by \dp\z@\advance\theight by \lineskip
  \kern -\theight \vbox to \theight{%
   \rightline{\rlap{\box\z@}}%
   \vss
   }%
  }%
 }}{}%
\@ifundefined{qed}{\def\qed{%
 \ifhmode\unskip\nobreak\fi\ifmmode\ifinner\else\hskip5\p@\fi\fi
 \hbox{\hskip5\p@\vrule width4\p@ height6\p@ depth1.5\p@\hskip\p@}%
 }}{}%
\@ifundefined{cents}{\def\cents{\hbox{\rm\rlap c/}}}{}%
\@ifundefined{tciLaplace}{\def\tciLaplace{\ensuremath{\mathcal{L}}}}{}%
\@ifundefined{tciFourier}{\def\tciFourier{\ensuremath{\mathcal{F}}}}{}%
\@ifundefined{textcurrency}{\def\textcurrency{\hbox{\rm\rlap xo}}}{}%
\@ifundefined{texteuro}{\def\texteuro{\hbox{\rm\rlap C=}}}{}%
\@ifundefined{euro}{\def\euro{\hbox{\rm\rlap C=}}}{}%
\@ifundefined{textfranc}{\def\textfranc{\hbox{\rm\rlap-F}}}{}%
\@ifundefined{textlira}{\def\textlira{\hbox{\rm\rlap L=}}}{}%
\@ifundefined{textpeseta}{\def\textpeseta{\hbox{\rm P\negthinspace s}}}{}%
\@ifundefined{miss}{\def\miss{\hbox{\vrule height2\p@ width 2\p@ depth\z@}}}{}%
\@ifundefined{vvert}{\def\vvert{\Vert}}{
\@ifundefined{tcol}{\def\tcol#1{{\baselineskip=6\p@ \vcenter{#1}} \Column}}{}%
\@ifundefined{dB}{\def\dB{\hbox{{}}}}{
\@ifundefined{mB}{\def\mB#1{\hbox{$#1$}}}{
\@ifundefined{nB}{\def\nB#1{\hbox{#1}}}{
\@ifundefined{note}{\def\note{$^{\dag}}}{}%
\defLaTeX2e{LaTeX2e}
\ifx\fmtnameLaTeX2e
  \DeclareOldFontCommand{\rm}{\normalfont\rmfamily}{\mathrm}
  \DeclareOldFontCommand{\sf}{\normalfont\sffamily}{\mathsf}
  \DeclareOldFontCommand{\tt}{\normalfont\ttfamily}{\mathtt}
  \DeclareOldFontCommand{\bf}{\normalfont\bfseries}{\mathbf}
  \DeclareOldFontCommand{\it}{\normalfont\itshape}{\mathit}
  \DeclareOldFontCommand{\sl}{\normalfont\slshape}{\@nomath\sl}
  \DeclareOldFontCommand{\sc}{\normalfont\scshape}{\@nomath\sc}
\fi


\def\alpha{{\Greekmath 010B}}%
\def\beta{{\Greekmath 010C}}%
\def\gamma{{\Greekmath 010D}}%
\def\delta{{\Greekmath 010E}}%
\def\epsilon{{\Greekmath 010F}}%
\def\zeta{{\Greekmath 0110}}%
\def\eta{{\Greekmath 0111}}%
\def\theta{{\Greekmath 0112}}%
\def\iota{{\Greekmath 0113}}%
\def\kappa{{\Greekmath 0114}}%
\def\lambda{{\Greekmath 0115}}%
\def\mu{{\Greekmath 0116}}%
\def\nu{{\Greekmath 0117}}%
\def\xi{{\Greekmath 0118}}%
\def\pi{{\Greekmath 0119}}%
\def\rho{{\Greekmath 011A}}%
\def\sigma{{\Greekmath 011B}}%
\def\tau{{\Greekmath 011C}}%
\def\upsilon{{\Greekmath 011D}}%
\def\phi{{\Greekmath 011E}}%
\def\chi{{\Greekmath 011F}}%
\def\psi{{\Greekmath 0120}}%
\def\omega{{\Greekmath 0121}}%
\def\varepsilon{{\Greekmath 0122}}%
\def\vartheta{{\Greekmath 0123}}%
\def\varpi{{\Greekmath 0124}}%
\def\varrho{{\Greekmath 0125}}%
\def\varsigma{{\Greekmath 0126}}%
\def\varphi{{\Greekmath 0127}}%

\def{\Greekmath 0272}{{\Greekmath 0272}}
\def\FindBoldGroup{%
   {\setbox0=\hbox{$\mathbf{x\global\edef\theboldgroup{\the\mathgroup}}$}}%
}

\def\Greekmath#1#2#3#4{%
    \if@compatibility
        \ifnum\mathgroup=\symbold
           \mathchoice{\mbox{\boldmath$\displaystyle\mathchar"#1#2#3#4$}}%
                      {\mbox{\boldmath$\textstyle\mathchar"#1#2#3#4$}}%
                      {\mbox{\boldmath$\scriptstyle\mathchar"#1#2#3#4$}}%
                      {\mbox{\boldmath$\scriptscriptstyle\mathchar"#1#2#3#4$}}%
        \else
           \mathchar"#1#2#3#
        \fi 
    \else 
        \FindBoldGroup
        \ifnum\mathgroup=\theboldgroup
           \mathchoice{\mbox{\boldmath$\displaystyle\mathchar"#1#2#3#4$}}%
                      {\mbox{\boldmath$\textstyle\mathchar"#1#2#3#4$}}%
                      {\mbox{\boldmath$\scriptstyle\mathchar"#1#2#3#4$}}%
                      {\mbox{\boldmath$\scriptscriptstyle\mathchar"#1#2#3#4$}}%
        \else
           \mathchar"#1#2#3#
        \fi     	    
	  \fi}

\newif\ifGreekBold  \GreekBoldfalse
\let\SAVEPBF=\pbf
\def\pbf{\GreekBoldtrue\SAVEPBF}%

\@ifundefined{theorem}{\newtheorem{theorem}{Theorem}}{}
\@ifundefined{lemma}{\newtheorem{lemma}[theorem]{Lemma}}{}
\@ifundefined{corollary}{\newtheorem{corollary}[theorem]{Corollary}}{}
\@ifundefined{conjecture}{\newtheorem{conjecture}[theorem]{Conjecture}}{}
\@ifundefined{proposition}{\newtheorem{proposition}[theorem]{Proposition}}{}
\@ifundefined{axiom}{\newtheorem{axiom}{Axiom}}{}
\@ifundefined{remark}{\newtheorem{remark}{Remark}}{}
\@ifundefined{example}{\newtheorem{example}{Example}}{}
\@ifundefined{exercise}{\newtheorem{exercise}{Exercise}}{}
\@ifundefined{definition}{\newtheorem{definition}{Definition}}{}


\@ifundefined{mathletters}{%
 
  \newcounter{equationnumber}  
  \def\mathletters{%
     \addtocounter{equation}{1}
     \edef\@currentlabel{\arabic{equation}}%
     \setcounter{equationnumber}{\c@equation}
     \setcounter{equation}{0}%
     \edef\arabic{equation}{\@currentlabel\noexpand\alph{equation}}%
  }
  \def\endmathletters{%
     \setcounter{equation}{\value{equationnumber}}%
  }
}{}

\@ifundefined{BibTeX}{%
    \def\BibTeX{{\rm B\kern-.05em{\sc i\kern-.025em b}\kern-.08em
                 T\kern-.1667em\lower.7ex\hbox{E}\kern-.125emX}}}{}%
\@ifundefined{AmS}%
    {\def\AmS{{\protect\usefont{OMS}{cmsy}{m}{n}%
                A\kern-.1667em\lower.5ex\hbox{M}\kern-.125emS}}}{}%
\@ifundefined{AmSTeX}{\def\AmSTeX{\protect\AmS-\protect\TeX\@}}{}%

\def\@@eqncr{\let\@tempa\relax
    \ifcase\@eqcnt \def\@tempa{& & &}\or \def\@tempa{& &}%
      \else \def\@tempa{&}\fi
     \@tempa
     \if@eqnsw
        \iftag@
           \@taggnum
        \else
           \@eqnnum\stepcounter{equation}%
        \fi
     \fi
     \global\@ifnextchar*{\@tagstar}{\@tag}@false
     \global\@eqnswtrue
     \global\@eqcnt\z@\cr}


\def\@ifnextchar*{\@TCItagstar}{\@TCItag}{\@ifnextchar*{\@TCItagstar}{\@TCItag}}
\def\@TCItag#1{%
    \global\@ifnextchar*{\@tagstar}{\@tag}@true
    \global\def\@taggnum{(#1)}}
\def\@TCItagstar*#1{%
    \global\@ifnextchar*{\@tagstar}{\@tag}@true
    \global\def\@taggnum{#1}}
\def\QATOP#1#2{{#1 \atop #2}}%
\def\QTATOP#1#2{{\textstyle {#1 \atop #2}}}%
\def\QDATOP#1#2{{\displaystyle {#1 \atop #2}}}%
\def\QABOVE#1#2#3{{#2 \above#1 #3}}%
\def\QTABOVE#1#2#3{{\textstyle {#2 \above#1 #3}}}%
\def\QDABOVE#1#2#3{{\displaystyle {#2 \above#1 #3}}}%
\def\QOVERD#1#2#3#4{{#3 \overwithdelims#1#2 #4}}%
\def\QTOVERD#1#2#3#4{{\textstyle {#3 \overwithdelims#1#2 #4}}}%
\def\QDOVERD#1#2#3#4{{\displaystyle {#3 \overwithdelims#1#2 #4}}}%
\def\QATOPD#1#2#3#4{{#3 \atopwithdelims#1#2 #4}}%
\def\QTATOPD#1#2#3#4{{\textstyle {#3 \atopwithdelims#1#2 #4}}}%
\def\QDATOPD#1#2#3#4{{\displaystyle {#3 \atopwithdelims#1#2 #4}}}%
\def\QABOVED#1#2#3#4#5{{#4 \abovewithdelims#1#2#3 #5}}%
\def\QTABOVED#1#2#3#4#5{{\textstyle 
   {#4 \abovewithdelims#1#2#3 #5}}}%
\def\QDABOVED#1#2#3#4#5{{\displaystyle 
   {#4 \abovewithdelims#1#2#3 #5}}}%
\def\tint{\mathop{\textstyle \int}}%
\def\tiint{\mathop{\textstyle \iint }}%
\def\tiiint{\mathop{\textstyle \iiint }}%
\def\tiiiint{\mathop{\textstyle \iiiint }}%
\def\tidotsint{\mathop{\textstyle \idotsint }}%
\def\toint{\mathop{\textstyle \oint}}%
\def\tsum{\mathop{\textstyle \sum }}%
\def\tprod{\mathop{\textstyle \prod }}%
\def\tbigcap{\mathop{\textstyle \bigcap }}%
\def\tbigwedge{\mathop{\textstyle \bigwedge }}%
\def\tbigoplus{\mathop{\textstyle \bigoplus }}%
\def\tbigodot{\mathop{\textstyle \bigodot }}%
\def\tbigsqcup{\mathop{\textstyle \bigsqcup }}%
\def\tcoprod{\mathop{\textstyle \coprod }}%
\def\tbigcup{\mathop{\textstyle \bigcup }}%
\def\tbigvee{\mathop{\textstyle \bigvee }}%
\def\tbigotimes{\mathop{\textstyle \bigotimes }}%
\def\tbiguplus{\mathop{\textstyle \biguplus }}%
\def\dint{\mathop{\displaystyle \int}}%
\def\diint{\mathop{\displaystyle \iint}}%
\def\diiint{\mathop{\displaystyle \iiint}}%
\def\diiiint{\mathop{\displaystyle \iiiint }}%
\def\didotsint{\mathop{\displaystyle \idotsint }}%
\def\doint{\mathop{\displaystyle \oint}}%
\def\dsum{\mathop{\displaystyle \sum }}%
\def\dprod{\mathop{\displaystyle \prod }}%
\def\dbigcap{\mathop{\displaystyle \bigcap }}%
\def\dbigwedge{\mathop{\displaystyle \bigwedge }}%
\def\dbigoplus{\mathop{\displaystyle \bigoplus }}%
\def\dbigodot{\mathop{\displaystyle \bigodot }}%
\def\dbigsqcup{\mathop{\displaystyle \bigsqcup }}%
\def\dcoprod{\mathop{\displaystyle \coprod }}%
\def\dbigcup{\mathop{\displaystyle \bigcup }}%
\def\dbigvee{\mathop{\displaystyle \bigvee }}%
\def\dbigotimes{\mathop{\displaystyle \bigotimes }}%
\def\dbiguplus{\mathop{\displaystyle \biguplus }}%

\if@compatibility\else
 
  \RequirePackage{amsmath}
\fi

\def\makeatother\endinput{\makeatother\endinput}

\bgroup
\ifx\ds@amstex\relax
   \message{amstex already loaded}\aftergroup\makeatother\endinput
\else
   \@ifpackageloaded{amsmath}%
      {\if@compatibility\message{amsmath already loaded}\fi\aftergroup\makeatother\endinput}
      {}
   \@ifpackageloaded{amstex}%
      {\if@compatibility\message{amstex already loaded}\fi\aftergroup\makeatother\endinput}
      {}
   \@ifpackageloaded{amsgen}%
      {\if@compatibility\message{amsgen already loaded}\fi\aftergroup\makeatother\endinput}
      {}
\fi
\egroup



\typeout{TCILATEX defining AMS-like constructs in LaTeX 2.09 COMPATIBILITY MODE}
\let\DOTSI\relax
\def\RIfM@{\relax\ifmmode}%
\def\FN@{\futurelet\next}%
\newcount\intno@
\def\iint{\DOTSI\intno@\tw@\FN@\ints@}%
\def\iiint{\DOTSI\intno@\thr@@\FN@\ints@}%
\def\iiiint{\DOTSI\intno@4 \FN@\ints@}%
\def\idotsint{\DOTSI\intno@\z@\FN@\ints@}%
\def\ints@{\findlimits@\ints@@}%
\newif\iflimtoken@
\newif\iflimits@
\def\findlimits@{\limtoken@true\ifx\next\limits\limits@true
 \else\ifx\next\nolimits\limits@false\else
 \limtoken@false\ifx\ilimits@\nolimits\limits@false\else
 \ifinner\limits@false\else\limits@true\fi\fi\fi\fi}%
\def\multint@{\int\ifnum\intno@=\z@\intdots@                         
 \else\intkern@\fi                                                   
 \ifnum\intno@>\tw@\int\intkern@\fi                                  
 \ifnum\intno@>\thr@@\int\intkern@\fi                                
 \int
\def\multintlimits@{\intop\ifnum\intno@=\z@\intdots@\else\intkern@\fi
 \ifnum\intno@>\tw@\intop\intkern@\fi
 \ifnum\intno@>\thr@@\intop\intkern@\fi\intop}%
\def\intic@{%
    \mathchoice{\hskip.5em}{\hskip.4em}{\hskip.4em}{\hskip.4em}}%
\def\negintic@{\mathchoice
 {\hskip-.5em}{\hskip-.4em}{\hskip-.4em}{\hskip-.4em}}%
\def\ints@@{\iflimtoken@                                             
 \def\ints@@@{\iflimits@\negintic@
   \mathop{\intic@\multintlimits@}\limits                            
  \else\multint@\nolimits\fi                                         
  \eat@
 \else                                                               
 \def\ints@@@{\iflimits@\negintic@
  \mathop{\intic@\multintlimits@}\limits\else
  \multint@\nolimits\fi}\fi\ints@@@}%
\def\intkern@{\mathchoice{\!\!\!}{\!\!}{\!\!}{\!\!}}%
\def\plaincdots@{\mathinner{\cdotp\cdotp\cdotp}}%
\def\intdots@{\mathchoice{\plaincdots@}%
 {{\cdotp}\mkern1.5mu{\cdotp}\mkern1.5mu{\cdotp}}%
 {{\cdotp}\mkern1mu{\cdotp}\mkern1mu{\cdotp}}%
 {{\cdotp}\mkern1mu{\cdotp}\mkern1mu{\cdotp}}}%
\def\RIfM@{\relax\protect\ifmmode}
\def\RIfM@\expandafter\text@\else\expandafter\mbox\fi{\RIfM@\expandafter\RIfM@\expandafter\text@\else\expandafter\mbox\fi@\else\expandafter\mbox\fi}
\let\nfss@text\RIfM@\expandafter\text@\else\expandafter\mbox\fi
\def\RIfM@\expandafter\text@\else\expandafter\mbox\fi@#1{\mathchoice
   {\textdef@\displaystyle\f@size{#1}}%
   {\textdef@\textstyle\tf@size{\firstchoice@false #1}}%
   {\textdef@\textstyle\sf@size{\firstchoice@false #1}}%
   {\textdef@\textstyle \ssf@size{\firstchoice@false #1}}%
   \glb@settings}

\def\textdef@#1#2#3{\hbox{{%
                    \everymath{#1}%
                    \let\f@size#2\selectfont
                    #3}}}
\newif\iffirstchoice@
\firstchoice@true
\def\Let@{\relax\iffalse{\fi\let\\=\cr\iffalse}\fi}%
\def\vspace@{\def\vspace##1{\crcr\noalign{\vskip##1\relax}}}%
\def\multilimits@{\bgroup\vspace@\Let@
 \baselineskip\fontdimen10 \scriptfont\tw@
 \advance\baselineskip\fontdimen12 \scriptfont\tw@
 \lineskip\thr@@\fontdimen8 \scriptfont\thr@@
 \lineskiplimit\lineskip
 \vbox\bgroup\ialign\bgroup\hfil$\m@th\scriptstyle{##}$\hfil\crcr}%
\def\Sb{_\multilimits@}%
\def\endSb{\crcr\egroup\egroup\egroup}%
\def\Sp{^\multilimits@}%
\let\endSp\endSb
\newdimen\ex@
\ex@.2326ex
\def\rightarrowfill@#1{$#1\m@th\mathord-\mkern-6mu\cleaders
 \hbox{$#1\mkern-2mu\mathord-\mkern-2mu$}\hfill
 \mkern-6mu\mathord\rightarrow$}%
\def\leftarrowfill@#1{$#1\m@th\mathord\leftarrow\mkern-6mu\cleaders
 \hbox{$#1\mkern-2mu\mathord-\mkern-2mu$}\hfill\mkern-6mu\mathord-$}%
\def\leftrightarrowfill@#1{$#1\m@th\mathord\leftarrow
\mkern-6mu\cleaders
 \hbox{$#1\mkern-2mu\mathord-\mkern-2mu$}\hfill
 \mkern-6mu\mathord\rightarrow$}%
\def\overrightarrow{\mathpalette\overrightarrow@}%
\def\overrightarrow@#1#2{\vbox{\ialign{##\crcr\rightarrowfill@#1\crcr
 \noalign{\kern-\ex@\nointerlineskip}$\m@th\hfil#1#2\hfil$\crcr}}}%
\let\overarrow\overrightarrow
\def\overleftarrow{\mathpalette\overleftarrow@}%
\def\overleftarrow@#1#2{\vbox{\ialign{##\crcr\leftarrowfill@#1\crcr
 \noalign{\kern-\ex@\nointerlineskip}$\m@th\hfil#1#2\hfil$\crcr}}}%
\def\overleftrightarrow{\mathpalette\overleftrightarrow@}%
\def\overleftrightarrow@#1#2{\vbox{\ialign{##\crcr
   \leftrightarrowfill@#1\crcr
 \noalign{\kern-\ex@\nointerlineskip}$\m@th\hfil#1#2\hfil$\crcr}}}%
\def\underrightarrow{\mathpalette\underrightarrow@}%
\def\underrightarrow@#1#2{\vtop{\ialign{##\crcr$\m@th\hfil#1#2\hfil
  $\crcr\noalign{\nointerlineskip}\rightarrowfill@#1\crcr}}}%
\let\underarrow\underrightarrow
\def\underleftarrow{\mathpalette\underleftarrow@}%
\def\underleftarrow@#1#2{\vtop{\ialign{##\crcr$\m@th\hfil#1#2\hfil
  $\crcr\noalign{\nointerlineskip}\leftarrowfill@#1\crcr}}}%
\def\underleftrightarrow{\mathpalette\underleftrightarrow@}%
\def\underleftrightarrow@#1#2{\vtop{\ialign{##\crcr$\m@th
  \hfil#1#2\hfil$\crcr
 \noalign{\nointerlineskip}\leftrightarrowfill@#1\crcr}}}%

\def\qopnamewl@#1{\mathop{\operator@font#1}\nlimits@}
\let\nlimits@\displaylimits
\def\setboxz@h{\setbox\z@\hbox}


\def\varlim@#1#2{\mathop{\vtop{\ialign{##\crcr
 \hfil$#1\m@th\operator@font lim$\hfil\crcr
 \noalign{\nointerlineskip}#2#1\crcr
 \noalign{\nointerlineskip\kern-\ex@}\crcr}}}}

 \def\rightarrowfill@#1{\m@th\setboxz@h{$#1-$}\ht\z@\z@
  $#1\copy\z@\mkern-6mu\cleaders
  \hbox{$#1\mkern-2mu\box\z@\mkern-2mu$}\hfill
  \mkern-6mu\mathord\rightarrow$}
\def\leftarrowfill@#1{\m@th\setboxz@h{$#1-$}\ht\z@\z@
  $#1\mathord\leftarrow\mkern-6mu\cleaders
  \hbox{$#1\mkern-2mu\copy\z@\mkern-2mu$}\hfill
  \mkern-6mu\box\z@$}


\def\qopnamewl@{proj\,lim}{\qopnamewl@{proj\,lim}}
\def\qopnamewl@{inj\,lim}{\qopnamewl@{inj\,lim}}
\def\mathpalette\varlim@\rightarrowfill@{\mathpalette\varlim@\rightarrowfill@}
\def\mathpalette\varlim@\leftarrowfill@{\mathpalette\varlim@\leftarrowfill@}
\def\mathpalette\varliminf@{}{\mathpalette\mathpalette\varliminf@{}@{}}
\def\mathpalette\varliminf@{}@#1{\mathop{\underline{\vrule\@depth.2\ex@\@width\z@
   \hbox{$#1\m@th\operator@font lim$}}}}
\def\mathpalette\varlimsup@{}{\mathpalette\mathpalette\varlimsup@{}@{}}
\def\mathpalette\varlimsup@{}@#1{\mathop{\overline
  {\hbox{$#1\m@th\operator@font lim$}}}}

\def\stackunder#1#2{\mathrel{\mathop{#2}\limits_{#1}}}%
\begingroup \catcode `|=0 \catcode `[= 1
\catcode`]=2 \catcode `\{=12 \catcode `\}=12
\catcode`\\=12 
|gdef|@alignverbatim#1\end{align}[#1|end[align]]
|gdef|@salignverbatim#1\end{align*}[#1|end[align*]]

|gdef|@alignatverbatim#1\end{alignat}[#1|end[alignat]]
|gdef|@salignatverbatim#1\end{alignat*}[#1|end[alignat*]]

|gdef|@xalignatverbatim#1\end{xalignat}[#1|end[xalignat]]
|gdef|@sxalignatverbatim#1\end{xalignat*}[#1|end[xalignat*]]

|gdef|@gatherverbatim#1\end{gather}[#1|end[gather]]
|gdef|@sgatherverbatim#1\end{gather*}[#1|end[gather*]]

|gdef|@gatherverbatim#1\end{gather}[#1|end[gather]]
|gdef|@sgatherverbatim#1\end{gather*}[#1|end[gather*]]


|gdef|@multilineverbatim#1\end{multiline}[#1|end[multiline]]
|gdef|@smultilineverbatim#1\end{multiline*}[#1|end[multiline*]]

|gdef|@arraxverbatim#1\end{arrax}[#1|end[arrax]]
|gdef|@sarraxverbatim#1\end{arrax*}[#1|end[arrax*]]

|gdef|@tabulaxverbatim#1\end{tabulax}[#1|end[tabulax]]
|gdef|@stabulaxverbatim#1\end{tabulax*}[#1|end[tabulax*]]


|endgroup
  

  
\def\align{\@verbatim \frenchspacing\@vobeyspaces \@alignverbatim
You are using the "align" environment in a style in which it is not defined.}
\let\endalign=\endtrivlist
 
\@namedef{align*}{\@verbatim\@salignverbatim
You are using the "align*" environment in a style in which it is not defined.}
\expandafter\let\csname endalign*\endcsname =\endtrivlist




\def\alignat{\@verbatim \frenchspacing\@vobeyspaces \@alignatverbatim
You are using the "alignat" environment in a style in which it is not defined.}
\let\endalignat=\endtrivlist
 
\@namedef{alignat*}{\@verbatim\@salignatverbatim
You are using the "alignat*" environment in a style in which it is not defined.}
\expandafter\let\csname endalignat*\endcsname =\endtrivlist




\def\xalignat{\@verbatim \frenchspacing\@vobeyspaces \@xalignatverbatim
You are using the "xalignat" environment in a style in which it is not defined.}
\let\endxalignat=\endtrivlist
 
\@namedef{xalignat*}{\@verbatim\@sxalignatverbatim
You are using the "xalignat*" environment in a style in which it is not defined.}
\expandafter\let\csname endxalignat*\endcsname =\endtrivlist




\def\gather{\@verbatim \frenchspacing\@vobeyspaces \@gatherverbatim
You are using the "gather" environment in a style in which it is not defined.}
\let\endgather=\endtrivlist
 
\@namedef{gather*}{\@verbatim\@sgatherverbatim
You are using the "gather*" environment in a style in which it is not defined.}
\expandafter\let\csname endgather*\endcsname =\endtrivlist


\def\multiline{\@verbatim \frenchspacing\@vobeyspaces \@multilineverbatim
You are using the "multiline" environment in a style in which it is not defined.}
\let\endmultiline=\endtrivlist
 
\@namedef{multiline*}{\@verbatim\@smultilineverbatim
You are using the "multiline*" environment in a style in which it is not defined.}
\expandafter\let\csname endmultiline*\endcsname =\endtrivlist


\def\arrax{\@verbatim \frenchspacing\@vobeyspaces \@arraxverbatim
You are using a type of "array" construct that is only allowed in AmS-LaTeX.}
\let\endarrax=\endtrivlist

\def\tabulax{\@verbatim \frenchspacing\@vobeyspaces \@tabulaxverbatim
You are using a type of "tabular" construct that is only allowed in AmS-LaTeX.}
\let\endtabulax=\endtrivlist

 
\@namedef{arrax*}{\@verbatim\@sarraxverbatim
You are using a type of "array*" construct that is only allowed in AmS-LaTeX.}
\expandafter\let\csname endarrax*\endcsname =\endtrivlist

\@namedef{tabulax*}{\@verbatim\@stabulaxverbatim
You are using a type of "tabular*" construct that is only allowed in AmS-LaTeX.}
\expandafter\let\csname endtabulax*\endcsname =\endtrivlist



 \def\endequation{%
     \ifmmode\ifinner
      \iftag@
        \addtocounter{equation}{-1}
        $\hfil
           \displaywidth\linewidth\@taggnum\egroup \endtrivlist
        \global\@ifnextchar*{\@tagstar}{\@tag}@false
        \global\@ignoretrue   
      \else
        $\hfil
           \displaywidth\linewidth\@eqnnum\egroup \endtrivlist
        \global\@ifnextchar*{\@tagstar}{\@tag}@false
        \global\@ignoretrue 
      \fi
     \else   
      \iftag@
        \addtocounter{equation}{-1}
        \eqno \hbox{\@taggnum}
        \global\@ifnextchar*{\@tagstar}{\@tag}@false%
        $$\global\@ignoretrue
      \else
        \eqno \hbox{\@eqnnum
        $$\global\@ignoretrue
      \fi
     \fi\fi
 } 

 \newif\iftag@ \@ifnextchar*{\@tagstar}{\@tag}@false
 
 \def\@ifnextchar*{\@TCItagstar}{\@TCItag}{\@ifnextchar*{\@TCItagstar}{\@TCItag}}
 \def\@TCItag#1{%
     \global\@ifnextchar*{\@tagstar}{\@tag}@true
     \global\def\@taggnum{(#1)}}
 \def\@TCItagstar*#1{%
     \global\@ifnextchar*{\@tagstar}{\@tag}@true
     \global\def\@taggnum{#1}}

  \@ifundefined{tag}{
     \def\@ifnextchar*{\@tagstar}{\@tag}{\@ifnextchar*{\@tagstar}{\@tag}}
     \def\@tag#1{%
         \global\@ifnextchar*{\@tagstar}{\@tag}@true
         \global\def\@taggnum{(#1)}}
     \def\@tagstar*#1{%
         \global\@ifnextchar*{\@tagstar}{\@tag}@true
         \global\def\@taggnum{#1}}
  }{}

\def\tfrac#1#2{{\textstyle {#1 \over #2}}}%
\def\dfrac#1#2{{\displaystyle {#1 \over #2}}}%
\def\binom#1#2{{#1 \choose #2}}%
\def\tbinom#1#2{{\textstyle {#1 \choose #2}}}%
\def\dbinom#1#2{{\displaystyle {#1 \choose #2}}}%

\makeatother
\endinput
