Note that

may be considered as a set with an unusual ring structure.

Let us first fix a positive integer and examine the kernel of a map

where is the natural projection. Since

we have

In other words, for some integer . On the other hand, we have

thus

This implies that and therefore we have an inclusion

which turns to be a bijection ( ).

We then take a projective limit of the both hand sides and obtain the resired isomorphism.