  We present an alternative, short proof of a recent discrete version of the
Brunn-Minkowski inequality due to Lehec and the second named author. Our proof
also yields the four functions theorem of Ahlswede and Daykin as well as some
new variants.
