Given a DVR and elements of pairwise distinct orders, the sum is nonzero.
2687
How do I compute the discrete valuation of the sum of two elements
51671
lower bounding logarithm of sums
100977
Infinite subset with pairwise comprime elements
22154
Show that given a set of positive n integers, there exists a non-empty subset whose sum is divisible by n
146664
The union of two linearly independent subsets
152845
Every integer is the unique sum of a "decreasing" sequence of binomial coefficients
14197
show that $\sum_{i=0}^l \dfrac{{l\choose i}}{{n\choose k + i}} = \dfrac{n+1}{(n-l+1) {n-l\choose k}}$
52484
Sum of two Dedekind cuts is well-defined
65764
Partitioning $\{1,2,\ldots,k\}$ into $p$ subsets with equal sums, where $p$ is prime
106140
The sum of two symmetric random variables is symmetric
56370
Associative operation on a set $S$
129304
Alternative combinatorial proof for $\sum\limits_{r=0}^n\binom{n}{r}\binom{m+r}{n}=\sum\limits_{r=0}^n\binom{n}{r}\binom{m}{r}2^r$
127687
Proof of the duality of the dominance order on partitions
37783
Proving that a set of 2016 natural numbers contain a non-empty set with a sum divisible by 2016
35625
Direct sum of orthogonal subspaces
18023
The direct sum $\oplus$ versus the cartesian product $\times$
52774
Computing an infinite sum using the Residue theorem