>2 ですでにy が無理数だと示している