
Vladi Vladi
a/b
kybjm kybjm
*
* et k
pk une bijection de {1,.....,n} sur X(a,b) et
(1),......,
(n),
(1),.....,
(n) dans
tels que a =
k=1n(pk)
(k) et b =
k=1n(pk)
(k)
(k) -
(k))
0 pour tout k donc
(k) -
(k)
0 pour tout k donc a divise b .