Finite Direct Product of Modules is Module/Proof 1

Proof
This is a special case of Direct Product of Modules is Module.