>>931さん
本当に有難うございます。
>>870、(2)の対偶はxが整数ならばxが奇数であるとき、x^2は整数である
で良いのでしょうか？

>>930とこれが合っていれば終わりです。