"수체(number field) KK 위에서의 타원곡선 EE의 모델-베유 군(Mordell-Weil group) E\left(K\right)E(K)의 계수(rank)는, EE의 하세-베유 LL-함수(Hasse-Weil L-function) L\left(E,s\right)L(E,s)가 s = 1s=1에서 갖는 근의 차수와 같다."

스카이넷은 해당 추측에 대한 증명을 하였다.

근데 2019년인 현실에서는 아직 증명론이 존재하지 않기에 여기에서도 증명 답안을 보여줄수가 없다.