 To get prepared for the following deduction, we define two sets for convenience, formula_5, formula_6.A straight-forward but essential observation is that, formula_7 which is from the definition of base.