三、基本运算的基数

  定理9.6.3
  定理9.6.4