P

Initializing...

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