On Krasnér's theorem for the first case of Fermat's last theorem
Assertions on the congruence f(x) + g(y) + c ≡ 0 (mod xy) made without proof by Mordell in his paper in Acta Math. 88 (1952) are either proved or disproved.