(x+z)^(p-1)-x^(p-1)≠y^(p-1) (mod p)
これが証明できたらいいのか