>428
ともに無理数とはならない，という証明になっていない。

ともに無理数の場合は、ともに有理数の場合と同じです。