formula_65 es multiplicativamente cerrado, así que podremos formar la localización formula_68.