>モーデル‐ファルティングスの定理
―ディオファントス幾何からの完全証明

初等的とは証明に鳩の巣原理を使って単純化しているからだろう