ヤコビ多様体
であることと、formula_64 が formula_37 が(linearly equivalent)であることとは、同値である。このことは、アーベル・ヤコビ写像が、次数 0 の因子類群の空間からヤコビ多様体への（アーベル群の）単射写像を誘導することを意味する。ヤコビは、この写像が全射でもあることを証明し、従って 2つの群は自然に同型となることを証明した。