newtheorem{cor}[thm]{Corollary}
newtheorem{prop}[thm]{Proposition}
theoremstyle{definition}
newtheorem{defn}[thm]{Definition}
numberwithin{equation}{subsection}
setlength{parindent}{0pt}

begin{document}
  begin{titlepage}
textheight
centering
vspace*{baselineskip}
rule{textwidth}{1.6pt}vspace*{-baselineskip}vspace*{2pt}