Keller (1939) proved the birational case, that is, where the two fields k(X) and k(F) are equal.
Keller (1939) は双有理型の場合、つまりふたつの体 k(X) と k(F) が等しい場合を証明した。