Divisibility and remainders