It would suffice if you just proved it for two sets, as then .

So, you need to show that the Cartesian product of two denumerable sets (infinite, in the interesting case) has the cardinality of . This is equivalent to finding a 1-1 mapping .

There's plenty of those. You try!