moment of domain, Brunn-Minkowski, Prekopa-Leindler, isoperimetric inequality