%
%
%
%   AMS-LaTeX 1.2 file for journals, based on amsart.cls.
%
%
%____________________________________________________________________
%
%   E. F. Wold.
%
%
%
%
%  Final version:
%
%
%__________________________________________________________________



\documentclass[11pt]{amsart}
\usepackage{pstricks,pst-plot}



\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{prop}[theorem]{Proposition}

\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}
\newtheorem{xca}[theorem]{Exercise}
\newtheorem{problem}[theorem]{Problem}
\newtheorem{remark}[theorem]{Remark}
\newtheorem{question}[theorem]{Question}
\newtheorem{conjecture}[theorem]{Conjecture}
\newtheorem{improvement}[theorem]{Improvement}
\newtheorem{discus}[theorem]{Discus}
\newtheorem{ptheorem}[theorem]{Possible Theorem}
\newtheorem{project}[theorem]{Project}

\newcommand\hra{\hookrightarrow}

\newcommand{\cA}{\mathcal{A}}
\newcommand{\cB}{\mathcal{B}}
\newcommand{\cR}{\mathcal{R}}
\newcommand{\cC}{\mathcal{C}}
\newcommand{\cD}{\mathcal{D}}
\newcommand{\cE}{\mathcal{E}}
\newcommand{\cF}{\mathcal{F}}
\newcommand{\cG}{\mathcal{G}}
\newcommand{\cH}{\mathcal{H}}
\newcommand{\cI}{\mathcal{I}}
\newcommand{\cJ}{\mathcal{J}}
\newcommand{\cK}{\mathcal{K}}
\newcommand{\cL}{\mathcal{L}}
\newcommand{\cN}{\mathcal{N}}
\newcommand{\cO}{\mathcal{O}}
\newcommand{\cS}{\mathcal{S}}
\newcommand{\cZ}{\mathcal{Z}}
\newcommand{\cP}{\mathcal{P}}
\newcommand{\cT}{\mathcal{T}}
\newcommand{\cU}{\mathcal{U}}
\newcommand{\cV}{\mathcal{V}}
\newcommand{\cX}{\mathcal{X}}
\newcommand{\cW}{\mathcal{W}}


\newcommand{\A}{\mathbb{A}}
\newcommand{\B}{\mathbb{B}}
\newcommand{\C}{\mathbb{C}}
\newcommand{\D}{\mathbb{D}}
\renewcommand{\H}{\mathbb{H}}
\newcommand{\N}{\mathbb{N}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\Z}{\mathbb{Z}}
\renewcommand{\P}{\mathbb{P}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\U}{\mathbb{U}}
\newcommand{\bT}{\mathbb{T}}
\newcommand{\bD}{\mathbb{D}}

\newcommand\Subset{\subset\subset}
\newcommand\wt{\widetilde}


\newcommand{\Aut}{\mathop{{\rm Aut}}}

\def\di{\partial}
\def\bs{\backslash}
\def\e{\epsilon}




\numberwithin{equation}{section}


%
%
%  THE DOCUMENT
%
%

\begin{document}
\title[MAT2000]{Mandatory assignment MAT 2000}

%
%    General info
%
\subjclass[2010]{}
\date{\today}
\keywords{}

\author{Erlend Forn\ae ss Wold}

\maketitle

\section{Introduction}

This is a test

\begin{theorem}\label{main}
Let $f\in\mathcal C([0,1])$ and assume that $f(0)<0$ and $f(1)>0$.
Then there exists a $c\in (0,1)$ such that $f(c)=0$.
\end{theorem}



\begin{prop}
\end{prop}

\section{Background/preliminaries}

\section{Proof of the main theorem}

In this section we are going to prove Theorem \ref{main}:

\begin{theorem}
Let $f\in\mathcal C([0,1])$ and assume that $f(0)<0$ and $f(1)>0$.
Then there exists a $c\in (0,1)$ such that $f(c)=0$.
\end{theorem}

\begin{proof}
As in \cite{Wold1}

$\D$

\end{proof}


\bibliographystyle{amsplain}
\begin{thebibliography}{10}

\bibitem{Wold1}
Wold, E. F.; Proper holomorphic embeddings.  \text{Internat. J. Math} 16 (2007) pp. 65--79.

www.ams.org

math sci net








\end{thebibliography}
\end{document}
