Direct Product of Modules is Module

Theorem
Let $R$ be a ring.

Let $\left\{ {M_i}\right\}_{i \in I}$ be a family of $R$-modules.

Let $\left\langle{M, +, \circ}\right\rangle$ be their direct product.

Then $\left\langle{M, +, \circ}\right\rangle$ is a module.