Resultado de la búsqueda: induccion mutua definicion