Equivalence of Definitions of Basis of Vector Space

Theorem
Let $K$ be a division ring.

Let $\struct {G, +_G, \circ}_K$ be an vector space over $K$.