Zahlbereich/Dedekindbereich/Fakt/Beweis
<
Zahlbereich/Dedekindbereich/Fakt
Beweis
Dies folgt aus
Fakt
, aus
Fakt
und aus
Fakt
.
Zur bewiesenen Aussage