非齐次线性微分方程的一个常见性质