Let $R$ be a D273: Division ring.
Let $V$ be a D29: Vector space over $R$ such that
Let $V$ be a D29: Vector space over $R$ such that
| (i) | $\mathcal{B} : = \mathcal{B}_R(V)$ is the D4635: Set of vector space bases for $V$ over $R$ |
Then
\begin{equation}
\mathcal{B} \neq \emptyset
\end{equation}