Brunn-Minkowski theorem
 
x
OK