>636
この時点で、xが無理数、yが無理数の場合は調べていません。
この時点で、xが無理数、yが無理数の場合を調べていないので、

この後に書いています。