%\pagestyle{empty}
\topmargin -0.2in
%\oddsidemargin -0.25in
%\evensidemargin -0.25in
\oddsidemargin 0.2in
\evensidemargin 0.2in

\textwidth 6in
\textheight 9in
\font\tenmsb=msbm10 scaled \magstep1
%\font\tenmsb=msbm10
\font\sevenmsb=msbm7
\font\fivemsb=msbm5
\newfam\msbfam
\textfont\msbfam=\tenmsb
\scriptfont\msbfam=\sevenmsb
\scriptscriptfont\msbfam=\fivemsb
\edef\msbfam@{\hexnumber@\msbfam}
\def\Bbb#1{{\fam\msbfam\relax#1}}
\def\Q{\Bbb{Q}}
\def\Z{\Bbb{Z}}
\def\N{\Bbb{N}}
\def\C{\Bbb{C}}
\def\o{\over}
\def\mysection#1{\section{\underline{#1}}}
\def\mysubsection#1{\subsection{\underline{#1}}}
\def\til{$\tilde{\ }$}
\renewcommand{\thefootnote}{\fnsymbol{footnote}}

\newcommand{\valid}[3]{${#1} {\not{|}} hc_{#3}({#2})$}
\newcommand{\notvalid}[3]{${#1} | hc_{#3}({#2})$}

\newtheorem{itpr}{命題}[chapter]
\newenvironment{pr}{\begin{itpr}\rm}{\end{itpr}}

\newtheorem{itlm}[itpr]{補題}
\newenvironment{lm}{\begin{itlm}\rm}{\end{itlm}}

\newtheorem{itth}[itpr]{定理}
\renewenvironment{th}{\begin{itth}\rm}{\end{itth}}

\newtheorem{itco}[itpr]{系}
\newenvironment{co}{\begin{itco}\rm}{\end{itco}}

\newtheorem{itdf}[itpr]{定義}
\newenvironment{df}{\begin{itdf}\rm}{\end{itdf}}

\newtheorem{ital}[itpr]{アルゴリズム}
\newenvironment{al}{\begin{ital}\rm}{\end{ital}}

\newtheorem{itre}[itpr]{注意}
\newenvironment{re}{\begin{itre}\rm}{\end{itre}}

\newtheorem{itex}[itpr]{例}
\newenvironment{ex}{\begin{itex}\rm}{\end{itex}}

\newtheorem{itmt}[itpr]{方法}
\newenvironment{mt}{\begin{itmt}\rm}{\end{itmt}}

\newtheorem{itnt}[itpr]{Notation}
\newenvironment{nt}{\begin{itnt}\rm}{\end{itnt}}

\newtheorem{itas}[itpr]{仮定}
\newenvironment{as}{\begin{itas}\rm}{\end{itas}}

\newtheorem{itpro}[itpr]{Procedure}
\newenvironment{pro}{\begin{itpro}\rm}{\end{itpro}}

\newtheorem{itprob}[itpr]{問題}
\newenvironment{prob}{\begin{itprob}\rm}{\end{itprob}}

\renewcommand{\thefootnote}{\fnsymbol{footnote}}

\newcommand{\qed}{$\Box$}
\newcommand{\mred}[1]{\smash{\mathop{\hbox{\rightarrowfill}}\limits_{\scriptstyle #1}}}
\newcommand{\tmred}[1]{\smash{\mathop{\hbox{\rightarrowfill}}\limits_{\scriptstyle #1}\limits^{\scriptstyle *}}}

\def\Norm{{\rm Norm}}
\def\res{{\rm res}}
\def\GCD{{\rm GCD}}
\def\LCM{{\rm LCM}}
\def\tdeg{{\rm tdeg}}
\def\Ker{{\rm Ker}}
\def\Tr{{\rm Tr}}
\def\prem{{\rm prem}}
\def\lc{{\rm lc}}
\def\pp{{\rm pp}}
\def\cont{{\rm cont}}

\def\gr{Gr\"obner 基底}
\def\st{\, s.t. \,}
\def\noi{\noindent} 
\def\ve{\vfill\eject} 
\def\o{\over}
\def\mysection#1{\section{\underline{#1}}}
\def\mysubsection#1{\subsection{\underline{#1}}}
\def\proof{[証明]\,}