\RequirePackage{amsthm}
%% $B>\$7$/$O(B ${texmf-dist}/doc/latex/amscls/thmtest.pdf $B$r;2>H$N$3$H!%(B

%%%%%%%%%% $BDj5A!&DjM}$J$I(B %%%%%%%%%%
%% $BCf?H$N%U%)%s%H$OI8=`%U%)%s%H$r!$8+=P$7$O(B \headfont $B$r!%(B
%% $BI8=`$NDjM}4D6-Cf$G<PBN$K$J$k$N$rKI;_!%(B\theoremstyle $B$G;XDj!%(B
\newtheoremstyle{suribtthm}% name
  {\thm@preskip}%      Space above, empty = `usual value'
  {\thm@postskip}%      Space below
  {\normalfont}% Body font
  {}%         Indent amount (empty = no indent, \parindent = para indent)
  {\headfont}% Thm head font
  {.}%        Punctuation after thm head
  { }%     Space after thm head: " " = normal interword space;
       %       \newline = linebreak
  {}% Thm head spec

\theoremstyle{suribtthm}
\newtheorem{thm}{$BDjM}(B}[chapter]% Theorem
\newtheorem{lem}[thm]{$BJdBj(B}% Lemma
\newtheorem{prop}[thm]{$BL?Bj(B}% Proposition
\newtheorem{cor}{$B7O(B}[thm]% Corollary
\renewcommand{\thecor}{\thethm.\alph{cor}}
\newtheorem{defn}[thm]{$BDj5A(B}% Definition
\newtheorem{exmp}[thm]{$BNc(B}% Example
\newtheorem{rem}[thm]{$BCm0U(B}% Remark
\newtheorem{note}[thm]{$BJdB-(B}% Note

%%%%%%%%%% $B>ZL@(B %%%%%%%%%%
\renewenvironment{proof}[1][\proofname]{\par
  \pushQED{\qed}%
  \normalfont \topsep6\p@\@plus6\p@\relax
  \trivlist
  \item[\hskip\labelsep\headfont#1\@addpunct{.}]\ignorespaces
}{%
  \popQED\endtrivlist\@endpefalse
}
\def\proofname{$B>ZL@(B}
