xy平面上に原点Oをひとつも頂点とする正方形OABCがある。直線OAの傾きが無理数ならば、この正方形の周上にはOの他には格子点は一つしか存在しないことを示してください。