Algoritmo_de_Risch loading ...