Ｐが素数のとき２＾Ｐ−１は素数となる。
証明をお願いします。