证明两个正整数集的笛卡尔积可数即证明两个正整数集的笛卡尔积和正整数集的基数相同