un diviseur ≥ 6 car "le premier premdi du dernier mois est le 6"
si s < 6 il y aurait un autre premdi avant, entre le 1 et le 6 de ce mois là
ça limite encore plus
"donc un nombre entier de semaines entre le 6 et le 1 suivant"
donc si m est le nombre de jours du mois et s le nombre de jours de la semaine
m-5 est un multiple de s, soit m-5 = ks
d'autre part on sait que 31 ≤ m < 31 + s (car le 31 est le dernier premdi)
donc 26 ≤ ks < 26 + s
les valeurs de s = 6, 10, 15 et 30 (en les reportant dans la double inégalité ci dessus)
donnent alors la même valeur pour m, petit miracle (ou propriété du reste de la division euclidienne, mais bon ..).
donc maintenant on connait m et 4 valeurs possibles de s
et c'est quasiment fini.
le nombre de jours de l'année est le ppcm de m et s
(un multiple à la fois de m et de s, et le plus petit car le seul mois qui commence par un premdi est le moins de "janvier")
et donc le nombre de mois
il n'y a plus qu'a vérifier ça, que le premier premdi du dernier mois tombe le 6, vu que tout le reste est "par construction"
pour chacune des valeurs de s
et ne garder bien sur que celle(s) qui marche(nt)