Zero Vector Space Product iff Factor is Zero

Theorem
Let $\left({G, \circ}\right)$ be a group whose identity is $e$.

Let $\left({K, +, \circ}\right)$ be a division ring whose zero is $0$ and whose unity is $1$.

Let $\left({G, +_G, \circ}\right)_K$ be a $K$-vector space.

Let $x \in G, \lambda \in K$.

Then $\lambda \circ x = e \iff \left({\lambda = 0 \lor x = e}\right)$.

Proof 1
A vector space is a module, so all results about modules also apply to vector spaces.

So from Scalar Product with Identity it follows directly that $\lambda = 0 \lor x = e \implies \lambda \circ x = e$.

Next, suppose $\lambda \circ x = e$ but $\lambda \ne 0$.

Then from Scalar Product with Identity:

Proof 2
The necessary condition is proved in Vector Product is Zero Only If Factor is Zero.

The sufficient condition is proved in Vector Scaled by Zero is Zero Vector, and in Zero Vector Scaled is Zero Vector.