Let be a commutative ring and a multiplicatively closed subset and modules.

Then there exists a uniquely determined isomorphism of modules:

with

Is it the right way, to proof that is bilinear and induces the homomorphism ? Then I have to proof that is injective and surjective.