Una nota sobre objetos k-finitos en un topos booleano con el objeto de los números naturales

we prove that every k-finite object in a boolean topos with natural number object is internally the quotient of a natural number object.