Esto se puede probar numerando los pares de números naturales anti-diagonalmente.