Arreglada una demostración rara en THM implícita