Objetos k-finitos decidibles y cardinales finitos en un topos abitrario

in an elemetary topos ", we prove that the class of k-finite decidable objects is the same to the class of finite cardinals in e if and only if every k-finite decidable object x such that x→1 is epic, then 1→x is split epic