# Alignment of paragraph with margin around list environment

I'm having some trouble with the alignment in my document, I've put my code below. How would I position the sentence starting "All three conditions must..." to be aligned with the definitions/theorems etc.?

My itemised points (i), (ii) and (iii) etc. also seem abit out of place and lacking some line spacing? How would I get my document all in all to look something/aligned like the picture below?

\documentclass[11pt,a4paper]{report}
\usepackage{amsmath,amsfonts,amssymb,amsthm,epsfig,epstopdf,titling,url,array}

\theoremstyle{plain}
\newtheorem{thm}{Theorem}[chapter] % reset theorem numbering for each chapter
\newtheorem{lem}[thm]{Lemma}
\newtheorem{prop}[thm]{Proposition}
\newtheorem*{cor}{Corollary}

\theoremstyle{definition}
\newtheorem{defn}[thm]{Definition} % definition numbers are dependent on theorem numbers
\newtheorem{exmp}[thm]{Example} % same for example numbers
\newtheorem{conj}[thm]{Conjecture}

\theoremstyle{remark}
\newtheorem*{rem}{Remark}
\newtheorem*{note}{Note}

\title{\textbf{My Thesis Title}}
\author{My Name}
\date{\today}

\begin{document}
\tableofcontents

\section{Basics}
\begin{defn}
Picard's theorem is true if the following properties is valid:

(i) $x^2 =2$

(ii) $x^2 \Rightarrow e^2$

(iii) $\epsilon^2 = e^2$

All three conditions must hold in order for the theorem to be true, and there is an extra condition:

(iv)$x^7$
\end{defn}

\begin{rem}
$x^2$ closed under multiplication and addition.

$x^3=e^3=e^3=e^3=e^3$
\end{rem}

\end{document}

-

This seems like an easy job for enumitem that allows you to modify lists locally (via an optional argument to the list environment) or globally (using \setlist[<environment>,<level>]{<setup>}). Here's a preview of how you could use it:

\documentclass[11pt,a4paper]{report}
%\usepackage{amsmath,amsfonts,amssymb,amsthm,epsfig,epstopdf,titling,url,array}
\usepackage{amsthm}% http://ctan.org/pkg/amsthm
\usepackage{enumitem}% http://ctan.org/pkg/enumitem

\theoremstyle{plain}
\newtheorem{thm}{Theorem}[chapter] % reset theorem numbering for each chapter
\newtheorem{lem}[thm]{Lemma}
\newtheorem{prop}[thm]{Proposition}
\newtheorem*{cor}{Corollary}

\theoremstyle{definition}
\newtheorem{defn}[thm]{Definition} % definition numbers are dependent on theorem numbers
\newtheorem{exmp}[thm]{Example} % same for example numbers
\newtheorem{conj}[thm]{Conjecture}

\theoremstyle{remark}
\newtheorem*{rem}{Remark}
\newtheorem*{note}{Note}

\title{\textbf{My Thesis Title}}
\author{My Name}
\date{\today}

\begin{document}
\tableofcontents

\section{Basics}
\begin{defn}
Picard's theorem is true if the following properties is valid:

\begin{enumerate}[label=(\roman*)]
\item $x^2 =2$
\item $x^2 \Rightarrow e^2$
\item $\epsilon^2 = e^2$
\end{enumerate}

\noindent All three conditions must hold in order for the theorem to be true, and there is an extra condition:

\begin{enumerate}[label=(\roman*),start=4]
\item $x^7$
\end{enumerate}
\end{defn}

\begin{rem}
$x^2$ closed under multiplication and addition.

$x^3=e^3=e^3=e^3=e^3$
\end{rem}
\end{document}


\end{rem}

\end{document}

-
Cheers David, and thanks for the additional comments also! –  Gary Feb 27 '12 at 20:44