如何证明函数线性相关