\bib{1990/coppersmith} \yr 1990 \mr 90h:11024 \by Don Coppersmith \paper Fermat's last theorem (case 1) and the Wieferich criterion \jour Mathematics of Computation \issn 0025--5718 \vol 54 \pages 895--902 \endref