Zahlbereich/Dedekindbereich/Fakt/Beweis