Puesto que formula_7 esta definida para cualesquiera formula_8, somos libres de elegir cualquier valor para formula_9 e formula_10.