Доказать, что все квадратные матрицы порядка n с вещественными элементами (или элементами из любого поля P) образуют векторное пространство над полем вещественных чисел (соответственно над полем P), если за операции взять сложение матриц и умножение матрицы на число. Найти базис и размерность этого пространства.
Заранее спасибо

Решебник предоставляет ответ: Базис образуют, например, матрицы Eji(I,j=1,2,...,n), где Eji - матрица, элемент которой в i-й строке и j-м столбце равен единице, а все остальные элементы равны нулю. Размерность равна n^2.
Является ли этот ответ верным? Нужно ли добавить ещё какое-то описание доказательства?