p≠q≠0 ならば pとqが有理数でp+q√2≠0 が本当の対偶ってことでFA?