Zahlbereich/Gitter-Einbettung/Ideal/Diskriminante und Grundmasche/Fakt/Beweisverweis

Das wird ähnlich wie Fakt bewiesen.