Equivalence of Definitions of Basis of Vector Space

Theorem
Let $K$ be a division ring.

Let $\left({G, +_G, \circ}\right)_R$ be an vector space over $K$.