Actually, his proof of the Riemann–Roch theorem works for arbitrary perfect base fields, not necessarily finite.
Фактически, его доказательство теоремы Римана — Роха работает для произвольных совершенных базовых полей, не обязательно конечных.