このとき、
ｄｉｖ（ｆ）＝(ｆ)0－（ｆ）∞
よって、ｆ∈ｋ（ｘ）×に対し、
ｄｅｇ（ｒ（ｆ）∞）－ｌ（ｒ（ｆ）∞）
はｒ∈Ｚにかんして上に有界である。
従って、①によって生じるＣの（Σ（ω）不変な）付解部分体ｋ0上で
定義された楕円曲線をＥとすると、Ｅのｊ不変量は１７２８で割り切れない
ので、擬似楕円曲線
Ｙ＾２Ｚ＋Ｘ＾３＋Ｙ＋２ｊE／γ0＾２（ｊE－１７２８）YZ＾２＋Z＾３
とｋ0－同型である。