>>30
(2^n)k={(t+1)^n}k-(t^n)kとしてもy^n=z^n-x^nと同値ではないですよ

当然です。