\(a+b == c \lor b+c == a \lor c+a == b\) を確認する.