Step 1 I write SM for the soccel of M. It is clear that . Now take . The element x may be written as a finite linear combination where each is contained in a simple submodule of M. But each is also a simple submodule of SM, so in particular is contained in SSM. Since SSM is a submodule, it follows that x is contained in it.