4．给定数内非0数差值非同数差值运算递减定理