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

Пусть

тогда

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

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

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

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

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

имеем

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

слагаемых

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

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

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

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