Линейная зависимость, Лин оболочка, базис

В (Z5)^5 рассмотрим две последовательности векторов:
X = ((1, 2, 1, 1, 3),(1, 0, 4, 2, 1))
Y = ((1, 3, 4, 4, 2),(2, 1, 0, 1, 4),(2, 2, 4, 3, 3),(0, 1, 3, 3, 4),(3, 1, 4, 3, 0))
Проверьте, является ли Х линейно независимой последовательностью и принадлежат ли ее элементы линейной оболочке последовательности Y. Определите размерность(dim) векторного пространства V(Y)(линейная оболочка Y)и найдите какой-то базис этого векторного пространства, который содержит оба элемента последовательности X.
Подсказка: последний шаг можно сделать подобно доказательству леммы Штайница о замещении.