奥铃康明斯货车报价:证明函数周期性