Reste und Restklassen

Division mit Rest sicher auf positive und negative Zahlen anwenden und unendliche Restklassen als endliche Fallstruktur nutzen.