0440132人目の素数さん垢版 | 大砲2021/02/22(月) 19:46:42.03ID:ZA1BxG4s 意外にも金谷健一さんは間違っていなかったんですね。 一意性を証明せずに、 u + x = v を満たす x を v - u と書くというのは問題がありますが。