P
Initializing...
Kemperman–Scherk: $|A_1+\cdots+A_m| \ge |A_1|+\cdots+|A_m|-(m-1)$ · Prove2Me