Module is Submodule of Itself

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

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

Proof
Follows directly from the fact that a group is a group is a subgroup of itself.