69 OM - Małe twierdzenie Fermata

69 Olimpiada matematyczna. Etap 1. Zadanie 9. Wykazać, że dla nieskończenie wielu liczb całkowitych n większych od 1 równanie (x+1)^(n+1) - (x-1)^(n+1)=y^n nie ma rozwiązania w liczbach całkowitych x,y. Małe twierdzenie Fermata