Zahlbereich/Ideal/Element mit beschränkter Norm/Fakt/Beweis
Erscheinungsbild
Beweis
Für jede Wahl von positiven reellen Zahlen (wobei die komplexen Einbettungen durchläuft, und wobei die Paarbedingung für nichtreelles gelte) mit
gibt es nach Fakt ein , , mit
für jede komplexe Einbettung . Nach Fakt ist somit
Würde es kein mit Betragsnorm unterhalb (einschließlich) der angegebenen Grenze geben, könnte man daraus direkt einen Widerspruch produzieren.