Proof. [04NQ]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proof.
The statement on the multiplicities follows from the definition of , as
Moreover, is a linear combination of the divisors of the -tuple , hence its restriction to is principal by Corollary 1.2.2. ∎