Since by definition, it remains to prove that if is countable then is countable.Show is countable.

Let for .

Thus, .

Also, is clear by defining a bijection.

Since each ( ) is countable.

We have that is a countable union of countable sets.

Thus, it is countable.