"wertgleich" heißt "gleich, egal, welche (zulässigen) Werte du einsetzt". Ist \(D\) der Definitionsbereich von \(a\) und \(x\), dann ist zu zeigen:
$$\exists a,x\in D\colon(a+x)^2\neq 2\cdot(a+x)$$
weil das die Negation ist von "für alle \(a,x\in D\) ergeben diese Terme dasselbe."