>>7
つづき

・ジーゲルの定理：
https://ja.wikipedia.org/wiki/%E6%95%B4%E6%95%B0%E7%82%B9%E3%81%AB%E3%81%A4%E3%81%84%E3%81%A6%E3%81%AE%E3%82%B8%E3%83%BC%E3%82%B2%E3%83%AB%E3%81%AE%E5%AE%9A%E7%90%86
数学において、整数点についてのジーゲルの定理 (Siegel's theorem on integral points) は、1929年のカール・ジーゲル (Carl Ludwig Siegel) の結果であり、与えられた座標系を持つアフィン空間で表現される、代数体 K 上定義された種数 g の滑らかな代数曲線 C に対し、g > 0 であれば、K の整数環 O の座標でC 上の点は有限個しかないという定理である。この結果を適用できる例として、モーデル曲線（英語版）(Mordell curve)がある。
この定理の証明は、ディオファントス近似からのトゥエ・ジーゲル・ロスの定理のあるバージョンとディオファントス幾何学（英語版）(diophantine geometry)からのモーデル・ヴェイユの定理とを結合することにより得られた。（ここで C のヤコビ多様体へ適用するためにヴェイユのバージョンが必要である。）それは、種数のみに依存しディオファントス方程式の任意の特別な代数的な形式に依らない、ディオファントス方程式についての最初の大きな結果であった。種数 g > 1 の場合は、現在、ファルティングスの定理に取って代わられた。
https://ja.wikipedia.org/wiki/%E3%83%A2%E3%83%BC%E3%83%87%E3%83%AB%E3%81%AE%E5%AE%9A%E7%90%86
モーデルの定理（2 モーデル・ヴェイユの定理）

つづく