salam
56 786 730 =61.31.13.11.7.5.3.2
fermat: p premier ===> m^p - m : divisible par p.
A = n.m(m^60 - 1) - m.n(n^60 -1) = n(m^61 - m) - m(n^61 - n)
===> A divisible par 61.
-------------------------------------------------------
A = (m^30 + n^30).[n.(m^31 - m) - m.(n^31 - n) ]
===> A divisible par 31
--------------------------------------------------
M = n.[m^9.((m^4)^13 - m^4) + (m^13 - m)]
N = m.[.................................avec ..n.............]
A = M - N ======> A divisible par 13
------------------------------
M =n.[m^6.((m^5)^11 - m^5) + (m^11 - m)]
N =m.[.........................avec .. n......................]
A = M-N =====> A divisible par 11
-------------------------------------------------
M =n.[m^5((m^
^7 - m^
+ m^6(m^7 - m) + (m^7 - m)]
N= m.[..........................avec ...n .......................................]
A = M-N ======>A divisible par 7
--------------------------------------------------
Alors ...je pense que l'idée est clair
c'est un peu fatiguant de continuer.....et on arrive à montrer que A est divisible par la liste .
comme ils sont tous premiers , A est divisible par leur produit.
--------------------------------------------------------------