p は素数、n は任意の自然数とします。 (1+n)^p - n^p - 1 が p で割り切れることを証明してください。

これは、どうやって解くとよいでしょう？