最後=ではなく≡でした

>>42
≡の記号の意味をいまいち理解できてないかもしれません
(a+b)^p≡a+b(modp)
と
a^p+b^p≡a+b(modp)
で
(a+b)^p≡a+b(modp)≡a^p+b^p
ではないのでしょうか？