30. abel theorem
Abel's theorem (Forster 20.7, dissection-free): the two-point Abel–Jacobi value is nonzero for distinct points on genus ≥ 1, hence ofCurve is injective.
10 modules, 3,106 lines, under Jacobians/Abel/.