Lemma 71.6.7. The sum of two effective Cartier divisors is an effective Cartier divisor.
Proof. Omitted. Étale locally this reduces to the following simple algebra fact: if f_1, f_2 \in A are nonzerodivisors of a ring A, then f_1f_2 \in A is a nonzerodivisor. \square
Comments (0)