卡尔松不等式的证明