>>741
〔補題1〕
pが奇素数のとき
　(p-1)! {1/1 + 1/2 +　1/3 + ････ + 1/(p-1)}　はpの倍数。

(略証)
　m_k = (p-1)! /k = Π[1≦i≦p-1，i≠k] ｉ　　　(1≦k≦p-1)
とおく。k≠L のとき
　m_k - m_L = (L-k)(Π[1≦i≦p-1，i≠k，i≠L] ｉ) ≠ 0　(mod p)

∴鳩ノ巣原理で
　{m_1,m_2,････,m_(p-1)} ≡ {1,2,3,････,p-1}

∴　m_1 + m_2 + ････ m_(p-1) ≡ 1 + 2 + 3 + ････ + (p-1)
　= p(p-1)/2 ≡ 0　(mod p)