证明自相关函数两个性质