ｘｙ座標平面上の有理点はたかだか可算であることを
示すにはどのようにすればよいのでしょう？