常系数齐次线性递推的黑科技及其证明