Demostración formal de que una sucesión convergente con raíces