Countability of Product of Natural Numbers