1次元だと自明だけど2次元とかで単位面積を持つある図形が必ず整数格子点を含むための条件とかにすると少し非自明っぽくなるか