Jeśli aaaa oraz dddd są liczbami całkowitymi oraz d≠0d\neq0d=0d\neq0, to istnieje dokładnie jedna taka para liczb całkowitych qqqq oraz rrrr, że
gdzie ∣d∣|d|∣d∣|d| to wartość bezwzględna dddd oraz 0≤r<∣d∣0\le r<|d|0≤r<∣d∣0\le r<|d|.
Sprawdź historię występowania tego pojęcia na dotychczasowych egzaminach.