证明是线性函数