P
Initializing...
Olson (32): $\sum_{c\in C}|(S+c)\setminus S|\ge|C||S|-|S|(|S|-1)$ for $0\notin C$ · Prove2Me