59 %\newtheorem*{fact}{Fact}

    59 %\newtheorem*{fact}{Fact}

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

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

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

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

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

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

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

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

    64 \newtheorem{claim}[prop]{Claim}

    65 \newtheorem{claim}[prop]{Claim}

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

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

    66 \newtheorem*{cor*}{Corollary}

    67 \newtheorem*{cor*}{Corollary}

    67 \newtheorem*{exc}{Exercise}

    68 \newtheorem*{exc}{Exercise}

    68 %\theoremstyle{definition}

    69 %\theoremstyle{definition}