Null Module Submodule of All

Theorem
Let $$\left({G, +_G, \circ}\right)_R$$ be an $R$-module.

Then the null module:
 * $$\left({\left\{{e_G}\right\}, +_G, \circ}\right)_R$$

is a submodule of $$\left({G, +_G, \circ}\right)_R$$.

Proof
Follows directly from the fact that Trivial Subgroup is a subgroup of $$\left({G, +_G}\right)$$.