euklidische Formen / Widerspruchsbeweis kann nicht geführt werden