Division mit Rest/Z/Fakt/Name/Inhalt

Es sei eine fixierte positive natürliche Zahl. Dann gibt es zu jeder ganzen Zahl eine eindeutig bestimmte ganze Zahl und eine eindeutig bestimmte natürliche Zahl , , mit