===================================================================
RCS file: /home/cvs/OpenXM/doc/compalg/prdec.tex,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -p -r1.1 -r1.2
--- OpenXM/doc/compalg/prdec.tex	2000/03/01 02:25:51	1.1
+++ OpenXM/doc/compalg/prdec.tex	2000/03/28 01:59:21	1.2
@@ -35,7 +35,7 @@ $ab \in I$ かつ $a\notin I$ ならば $b \in 
 $\sqrt{I} = \cap_{I\subset P:prime}P$
 \end{lm}
 \proof $I \subset P$ ならば $\sqrt{I} \subset \sqrt{P}=P$ より
-$\subset$ は OK. 右辺が左辺を真に含むとすれば, ある
+左辺 $\subset$ 右辺. 右辺が左辺を真に含むとすれば, ある
 $f \in \cap_{I\subset P:prime}P \setminus \sqrt{I}$ が存在する. このとき, 
 $S=\{f,f^2,\cdots,\}$ とおけば, 
 $S \cap \sqrt{I} = \emptyset$.