除法的性质(可用)