P
Initializing...
Kemperman–Scherk addition theorem: $|A+B| \ge |A|+|B|-1$ · Prove2Me