意外にも金谷健一さんは間違っていなかったんですね。

一意性を証明せずに、 u + x = v を満たす x を v - u と書くというのは問題がありますが。