Principal Divisors Form a Subgroup