6Σ[k=1,p-1](p-1)!/k
=2(p-1)^2*p^2+{(p-1)p/2}^2-{(p-1)p/2}^2*(2p-1)≡0
なので成り立つ