Resultado de la búsqueda: demostración de las reglas de derivación