 As such the map formula_243 defined by formula_244 is the inverse of formula_245.So formula_245 is in fact a group isomorphism, proving that formula_190 and formula_199 are isomorphic.The general hyperelliptic case is a bit more complicated.