大ざっぱな説明をすると、(3) は 2階の線形微分方程式であり、 解空間 (解の全体) は (通常の意味で) 次元の線型空間になる。 ゆえに1組の関数からなる基底 (解の基本系) が存在する、ということである。
急いでいる人は、 以上の説明でとりあえず満足して先に進むことをお奨めする。