無限数列全体からなるベクトル空間において

a_(n+2)=a_(n+1)+a_n
を満たす数列{a_n}からなる部分空間の基底を求めたいです

一般項を求めると、a_nは、a_0、a_1の線形結合で表せる、従ってこの部分空間を生成する
あとは、a_0、a_1がk-1次独立であることを示したいのですが、できません。やり方教えて下さい…