2^nが素数ならnが素数であることを証明せよ。
わからん。