除法性质