 Suppose formula_164 are two principal divisors coming from formula_16 and formula_5 respectively.Then formula_167 comes from the function formula_168, and thus formula_169 is a principal divisor, too.We conclude that formula_161 is closed under addition and inverses, making it into a subgroup.