Two elements are in the same coset of $S$ iff their difference is in $S$

Assume $S$ is a subgroup of group $G$

How to prove this:

Two elements are in the same coset of $S$ iff their difference is in $S$

HINT: Suppose that $x,y\in G$, and $x-y\in S$. Let $s=x-y$. Then $x=s+y\in S+y$. In other words, the coset of $S$ containing $x$ is the coset $S+y$. To complete the proof you need only show that $y\in S+y$ as well.
Note that all I did was translate the hypothesis into specifics and make one pretty obvious algebraic manipulation, from $x-y\in S$ to $x\in S+y$ to get a coset of $S$ into the picture. Getting to this point requires should be (or soon become) almost automatic.
• Thanks. What about the converse? is this right? : $x+s_1 - (x+s_2) = s_1 - s_2 \in S$ ? – Mahdi Khosravi Oct 11 '13 at 13:45