Par exemple p = 7.
A = {2,3,4,5}.
En reprenant les notations de 2)c), pour x = 2, y = 4, car 2*4 = 1 [7].
Pour x = 3, y = 5, car 3*5 = 1[7].
On a donc 2*3*4*5 = (2*4)*(3*5) = 1*1 = 1 [7].
Pour p = 11.
A = {2,3,4,5,6,7,8,9}.
Les couples (x,y) de la question 2.c) sont (2,6), (3,4), (5,9) et (7,8).
En effet 2*6 = 3*4 = 5*9 = 7*8 = 1[11].
On a donc 2*3*4*5*6*7*8*9 = (2*6)*(3*4)*(5*9)*(7*8) = 1*1*1*1 = 1[11]
Pour p quelconque c'est la même chose, on va pouvoir regrouper par 2 tous les éléments de A, avec chaque produit de 2 termes congru à 1, grâce à la question 2.c).
La seule chose dont il faut s'assurer c'est qu'on regroupe bien par 2, et donc qu'on n'a jamais x = y. Ceci est assuré par la question 1.
Tu vois le principe ?