また赤ペンがどうこういう可能性があるから補足しとくけど>>426の話が

楕円曲線とは種数１の完備曲線

から始めた場合>>426の話はその証明になってないという話。あくまで>>426の話は

Weierestrass 標準系で定義された楕円関数なら楕円関数でパラメトライズできる

を証明してるだけ。話の中にでてくる単語がかぶってるから内容がわからないので違いもわからんのやろうな。