Was kann denn (x).x² ≠ ‒ 1 bedeuten? Es kann doch nicht sagen, daß sämtliche Quadrate ungleich ‒ 1 sind.