(p − 1) ist für jedes p>2 gerade.
Die p-1 Faktoren des Produkts (p − 1)! lassen sich also beliebig zu (p-1)/2 Paaren von Faktoren anordnen.
Wie wäre es denn, wenn wir jeweils einen beliebigen Faktor und sein multiplikatives Inverses mod p zu einem Paar zusammenfassen? Wir würden lauter Paare bekommen, deren Produkt kongruent zu 1 mod p ist, und das Produkt all dieser Paarprodukte...
Dazu müsste natürlich auch jede Zahl von 1 bis p-1 ein multiplikatives Inverses mod p besitzen. Dummerweise ist 1 zu sich selbst invers, hat also keinen anderen inversen Partner. Aber vielleicht gibt es noch weitere Zahlen mit dieser Eigenschaft...