商高定理證明