Value-at-Risk (VaR) and Expected Shortfall - Expected shortfall (CVaR) and properties