投资组合降低风险的数学证明是什么