En particular, asegura que si "L"("E", "1") = 0, entonces el grupo "E"(Q) es infinito, y recíprocamente, si "L"("E", "1") ≠ 0, entonces "E"(Q) es finito.