We show that if the first case of Fermat’s Last Theorem is false for prime exponent p then p2 divides qp — q for all primes q < Sq. As a corollary we state the theorem of the title. © 1988 American Mathematical Society.