商高定理

Etymology
.