たとえばでない有理数を用いて、