期望性质1的证明