上卷一 商高定理