n=2の場合も、n=3の場合も、全てのyで成立ちます。
(n=3の場合、xを有理数と限定していないので)