ああ、失礼。
２０のやつは「楕円曲線」ではなく「代数曲線」が正解だね。
このことは証明の本質には関係ないので気にしないでほしい。