2^n−1が素数ならばnは素数である。の対偶はnが有理数ならば、2^n−1は有理数である?