Faltingsの定理ってどーゆーやつだったっけ?
ヘルマー予想と関係してんの?