Intersection of Submodules is Submodule/General Result

Theorem
Let $R$ be a ring.

Let $M$ be an $R$-module.

Let $S$ be a set of submodules of $M$.

Then the intersection $\bigcap S$ is a submodules of $M$.