Der Satz über die Division mit Rest für die ganzen Zahlen.