/  
Wie ist die rein technische Verification von (x): x² = 2x ⊃ x = 0 ⌵ x = 2
  Ich rechne x aus einer Gleichg aus, setze den Wert überall ein & muß dann einen wahren Satz erhalten.