Ergibt also die bloße Transformation von “x² = 2x” den Satz “x = 0..x = 2”?