$D_n$ を $1$ から $n$ までの整数の順列 $(a_1, a_2, \cdots ,a_n)$ のうち
$$a_k \neq k \quad (k=1, 2, \cdots ,n)$$ を満たすものの個数とする. 例えば, $D_2=1, D_3=2, D_4=9$ である.
このとき,任意の素数 $p$ に対して$$D_{p-1} \equiv \sum_{k=0}^{p-1}{k! } \pmod{p}$$ となることを示せ.
方針だけでも採点します
この問題を解いた人はこんな問題も解いています