  We prove a version of the Aleksandrov-Fenchel inequality for mixed volumes of
coconvex bodies. This version is motivated by an inequality from commutative
algebra relating intersection multiplicities of ideals.
