数論幾何で立てればよかったのに