Module is Submodule of Itself

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

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

Proof
Follows directly from Group is Subgroup of Itself.