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