On Krasnér's theorem for the first case of Fermat's last theorem
Tom 67 / 1994
Colloquium Mathematicum 67 (1994), 25-31
DOI: 10.4064/cm-67-1-25-31