用特征函数证明X Y和X-Y独立