三、基本运算的基数
定理9.6.3
定理9.6.4