===================================================================
RCS file: /home/cvs/OpenXM/doc/compalg/appgr.tex,v
retrieving revision 1.1.1.1
retrieving revision 1.3
diff -u -p -r1.1.1.1 -r1.3
--- OpenXM/doc/compalg/appgr.tex	2000/03/01 02:25:51	1.1.1.1
+++ OpenXM/doc/compalg/appgr.tex	2000/03/28 02:02:29	1.3
@@ -1,3 +1,4 @@
+%$OpenXM$
 \chapter{グレブナ基底の応用}
 
 グレブナ基底は消去法以外にもさまざまな応用を持つ. 本節では, それらのい
@@ -55,7 +56,7 @@ $I\cap J = (yIR[y] + (1-y)JR[y])\cap R$
 \proof $f \in I\cap J$ とすると, $f = yf+(1-y)f \in (yI + (1-y)J)\cap R$.
 逆に $f=yg + (1-y)h$ ($g \in IR[y], h \in JR[y]$) とし, $f \in R$
 とする. この時, $y=0$ を代入して, $f = h|_{y=0} \in J$. $y=1$ を
-代入して, $f=g|_{y=1} \in I$ より OK. \qed
+代入して, $f=g|_{y=1} \in I$. \qed
 
 \begin{co}
 \label{intersect}