因变量是自变量的线性函数怎么证明