２の素数乗ー１が素数であることを証明してくれ。