证明线性函数的两个简单性质的方法