A proof of a certain congruence. (Q563497)

Beweis der Kongruenz \[ (n-1)!\equiv (-1)^{\frac {n-1}2}2^{2(n-1)}\left (\frac {(n-1)!}2\right )^2\pmod {n^3}, \] wo \(n\) Primzahl ist, und Verallgemeinerung dieses Resultates zu \[ \varPi (o)\equiv (-1)^{\frac 12\varphi (n)}2^{\varphi (n)}\varPi (e)\pmod {n^2}, \] wo \(\varPi (e)\) das Produkt aller graden, \(\varPi (o)\) das Produkt aller ungeraden Zahlen ist, die zu der ungeraden Zahl \(n\) teilerfremd sind.