Fermatの無限降下法から着想を得て、Q上の楕円曲線の場合を証明したのはMordell
WeilはMordellの論文を読んでそれをヤコビ多様体の場合に拡張したの。