非常漂亮的构造性证明。从理论上来说，所有可数无穷的集合都可以与自然数集一一对应。从而，两两也可以一一对应。