请问该命题:"若向量组S属于向量组T,且S是T的极大无关组,则T中的任一向量都可以用S中的向量线性表出"