-1
To introduce the notion of a basis of a finite dimensional vector space, the following Proposition or its equivalent should be proved: Given two $n-$frames (sequence of linearly independent vectors) $\|e_j\|_n, \|f_j\|_n$ in a vector space, the vector $f_j$ contained in the linear span of $\|...