I was looking at the following proof that the quotient space X/M where X is a Banach space and M is a closed subspace:

PlanetMath: quotients of Banach spaces by closed subspaces are Banach spaces under the quotient norm

Can someone elaborate for me on the second to last line beginning x-s_k+M? In particular I'm shaky on the last two equalities.

Thanks.