Queremos encontrar el exponente de formula_22 que da formula_23.