A short proof for stronger version of DS decomposition in set function optimization. - Li, Xiang; Du, H. George (Journal of Combinatorial Optimization, 2020)