Wie ist die rein technische Verifikation von (x) : x² = 2x..x = 0..x = 2
     Ich rechne x aus einer Gleichung aus, setze den Wert überall ein und muß dann einen wahren Satz erhalten.