Die Frage ist: wie beweisen wir daß x² = ‒ 1 keine reelle Wurzel hat? Doch dadurch daß das Quadrat jeder || einer reellen Zahl wesentlich positiv ist.