56 789 est-il divisible par 17? Justifier