Null Module Submodule of All

Theorem
Let $\struct {G, +_G, \circ}_R$ be an $R$-module.

Then the null module:
 * $\struct {\set {e_G}, +_G, \circ}_R$

is a submodule of $\struct {G, +_G, \circ}_R$.

Proof
Follows directly from the fact that the trivial subgroup is a subgroup of $\struct {G, +_G}$.