关于商高数猜想的证明