\ifx\undefined\bysame \newcommand{\bysame}{\leavevmode\hbox to3em{\hrulefill}\,} \fi \begin{thebibliography}{1} \bibitem{friman:1990} H.~Friedman and R.~Mansfield, {\em Algorithmic procedures}, Trans. Amer. Math. Soc. {\bf 332} (199?), 297--312, Available by anonymous ftp from ftp.math.psu.edu. See file, pub/psu-papers/README. \bibitem{vand:1949} B.L. Van~der Waerden, {\em Modern algebra}, vol.~1, Frederick Ungar Publishing Co., New York, 1949. \end{thebibliography}