Module on Cartesian Product of Ring with Unity is Unitary Module/Proof 2

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