p^q=2^n-1（p、q、nはいずれも2以上の自然数）を満たすp、q、nはあるか。
また、それを証明せよ。