>>115
１対（多数の素点の分布）で、Faltingsが証明した、と言っているのだから、
別に１対１の証明でなくて良いのではないかな。

等式でなく、不等式なのだから、厳密な１対１の証明でなくて、
統計的に「ある一定の歪みに収められる」ことが、評価さえできれば。