9=5^2-4^2の9は「当然な有理数」ですか?