Je vais faire par l'absurde
On suppose que p²-1 n'est pas divisible par 24
Donc p²-1 = 24k+3 par exemple
<=> p²-1 = 3(8k+1) <=> p²-1 est pair, donc 2/p²-1
Or, puisque p>5 alors p²>=49>24 d"ou p²-1 >= 48
or, 24 divise 48, donc 24 divise p²-1! Ce qui absurde d'après notre hypothèse!
On a trouvé un contre exemple, donc: p²-1 est divisible par 24
Par tâtonnement je sais, mais le résultat est là
Enfin, je pense!