除法的性质是什么