设实系数线性方程组（4.10.39）有如下的一些基本解组：其中表示X（t）的共轭复向量，X_2r+1（t），...，X_n（t）是实值的。试证明：对线性方程组方程组的任何实值解X=X（t），存在复常数C1，...，C_r及实常数C_2r+1，...，C_n使得，反之对于任何复常数C1，...，C_r及实常数C_2r+1，...，C_n，由（4.10.37）式给出的函数都是（4.10.39）的解。