let's consider a more general case: let be a commutative ring with 1 and let be an ideal of let be a multiplicatively closed subset of with and suppose that every element of is invertible modulo i.e. is an invertible element of for all then

because the natural -module homomorphism defined by is an isomorphism (why?). thus