Let $S$ be a local ring with maximal ideal $\mathfrak{m}$. I want to prove that if $M$ is a $S-$module, then $$M\otimes_S k\cong M/\mathfrak{m}M.$$ where $k=S/\mathfrak{m}$. To prove it I defined $\psi:M\to M\otimes_Sk$ by $\psi(m)= m\otimes 1$. It was easy to prove that $\mathfrak{m}M\subseteq \ker\psi$ by seeing that for $f_j\in \mathfrak{m},m_j\in M$, $$\left(\sum_{j}m_jf_j\right)\otimes 1=\sum_jf_j(m_j\otimes 1)=\sum_j (m_j\otimes (f_j\cdot 1))=\sum_j m_j\otimes 0=0.$$
It's also easy to prove it's surjective (For an element $m\otimes (r+\mathfrak{m})$ just take $rm$ as its preimage), but I have trouble when proving that, in fact, $\mathfrak{m} M=\ker\psi$. To prove it, I need to prove that if $m\otimes 1=0$ then $m\in \mathfrak{m}M$ but I don't know how to proceed.
I needed to prove it when $M$ is a finitely generated free module over the (nonlocal) ring $S=k[x_1,\dots,x_n]$ (with maximal ideal $(x_1,\dots,x_n)$) and that's already done, but I think there must be a more general reasoning for this case, which can also be used there.