Probamos que todo objeto k-finito en un topos booleano con el objeto de los números naturales es internamente el cociente de algún cardinal finito.