additive inverse property的用法与搭配