アックス–グロタンディークの定理
定理の証明は他にもある。アルマン・ボレル (Armand Borel) は位相を使った証明を与えた。n = 1 で体が C のケースは C が代数的閉体であることから従い、C 上の任意の解析関数 f に対して f の単射性は f の全射性を意味するという結果の特別な場合として考えることもできる。これはピカールの定理の系である。