Всем доброго времени суток.
Читая Кострикина не понял доказательство теоремы о размерности пространства решений: 
Цитата:

Пусть 

 тогда 

Доказательство. Выберем базис 

 линейной оболочки 

 и дополним его до базиса 

 всего пространства 

. Для любого вектора 

 имеем

...
и совсем не понимаю последнее равенство: куда мы выкинули первые s слагаемых справа?
UPD: Пока набирал доказательство, дошло: в первых 

 слагаемых 

 принадлежат базису линейной оболочки 

, а значит эти столбцы, будучи помноженными на 

, обнулятся, ибо мы так и определили 

. В упор не видел! Вопрос закрыт.