Module on Cartesian Product is Module/Proof 2

Proof
This is a special case of the Module of All Mappings, where $S$ is the set $\closedint 1 n \subset \N_{>0}$.