Correciones regla1 y llamada recursiva general

corrección en regla1 y algoritmo general para poder resolver sudocus
hardTest(3).