Peano-Halbring/Division mit Rest/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Division mit Rest (Peano-Halbring)

Sei ein Peano-Halbring und .

Dann gibt es zu jedem eindeutig bestimmte mit , , und mit

Zum Beweis, Alternativen Beweis erstellen