Redistribution is zero sum in dollars, but only zero sum in utility if you assume that the marginal utility of an additional dollar of income is constant to all recipients. But I think its pretty clear that money -- like most commodities -- has declining marginal utility, and that downward redistribution is positive sum in utility.