线性非齐次方程的两解之差是其对应齐次方程的解。