Riemann–Roch theorem
曲線に対するリーマン・ロッホの定理は、1850年にリーマンとロッホにより証明され、代数曲線に対しては、により1931年に有限標数の完全体についての仕事として証明された。(Peter Roquette)の書いた に、下記のような記載がある。