Let $M,N$ be left $R$-modules with the standard $R$-module structures (making them bi-modules). The proof that $M \otimes N$ is isomorphic to $N \otimes M$ over a commutative ring $R$ in Dummit and Foote says that,
1) the map $(m,n) \mapsto n \otimes m$ is $R$-balanced and so induce a unique homomorphism $f(m \otimes n) = n \otimes m$.
2) Likewise, the map $(n,m) \mapsto m \otimes n$ is $R$-balanced and so induce a unique homomorphism $g(n \otimes m) = m \otimes n$.
Is it enough at this point to say that $f \circ g = $ id, and $g \circ f =$ id on the elementary tensors $n \otimes m$ and $m \otimes n$ respectively, and so they are isomorphisms? Or are there more to the proof that I am missing?