62 \newtheorem*{fact}{Fact}

    62 \newtheorem*{fact}{Fact}

    63 \newtheorem{prop}{Proposition}[section]

    63 \newtheorem{prop}{Proposition}[section]

    64 \newtheorem{conj}[prop]{Conjecture}

    64 \newtheorem{conj}[prop]{Conjecture}

    65 \newtheorem{thm}[prop]{Theorem}

    65 \newtheorem{thm}[prop]{Theorem}

    66 \newtheorem{lem}[prop]{Lemma}

    66 \newtheorem{lem}[prop]{Lemma}

    67 \newtheorem{lemma}[prop]{Lemma}

    68 \newtheorem{lemma}[prop]{Lemma}

    68 \newtheorem{cor}[prop]{Corollary}

    69 \newtheorem{cor}[prop]{Corollary}

    69 \newtheorem*{cor*}{Corollary}

    70 \newtheorem*{cor*}{Corollary}

    70 \newtheorem*{exc}{Exercise}

    71 \newtheorem*{exc}{Exercise}

    71 %\theoremstyle{definition}

    72 %\theoremstyle{definition}