x,yは自然数である。このとき3以上の奇数pに対して等式

2^x=p^y+1が成り立っているとする。このときy=1である事を示せ。

証明問題なので解説お願いします。