初等数学によるフェルマーの最終定理の証明９

>>100
「(2^n)k={(t+1)^n}k-(t^n)kとなる」場合は(1)においてy=2mのときだけ (これはn=2とnが奇素数のときで同じ)

「y=2mのときだけ」を詳しく教えて下さい。