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