En fait, pour 1234567, je n'ai pas fait tout à fait le raisonnement du fichier "source".
Rappel :
Citation :Soit E l'ensemble des 7! nombres.
Le plus grand élément de E est 7654321.
Le plus petit est 1234567.
Si n = dm avec m et n
distincts dans E, alors d
7654321/1234567
D'où d
6.
L'entier d ne peut donc prendre que les valeurs 1, 2, 3, 4, 5 et 6.
Par ailleurs m = 9q + 1 ; donc n = 9dq + d.
d < 9 ; donc d est le reste de la division euclidienne de n par 9.
Donc d =1 et m = n.
Pas de m et n distincts dans E tels que n =dm.