von den drei Zahlen p-1,p,p+1 mit p ungerade ist immer eine durch 3, eine durch 2 und eine andere durch 4 teilbar. Da p>3 prim ist, kommt p jeweils dafür nicht in Frage.
nur als Ergänzung: Man braucht 6k±1 tatsächlich nicht, jedoch stellt es sich von einer anderen Seite her als nützlich heraus, nämlich dann, wenn man den Beweis per vollständiger Induktion führen möchte (den Induktionsanfang spare ich mir):
72 k sowie 36 ± 12 sind evidenterweise durch 24 teilbar und (6k ± 1)² – 1 ist es nach Induktionsvoraussetzung.
Die Aussage „n² – 1 ist teilbar durch 24“ trifft nicht nur auf alle Primzahlen zu, sondern auf alle weder durch 2 noch durch 3 teilbare Zahlen n. Dass die alle die Form 6k ± 1 haben müssen, ist klar, denn 6k, 6k + 2, 6k + 3 und 6k + 4 scheiden aus wegen offensichtlicher Teilbarkeit durch 6 bzw. 2 bzw. 3 bzw. 2.