salut tt le monde ..
bon,j'ai besoins d'une démonstration de cette théorème:
soit m0>m1....>mj -> -∞ quand  j-> +∞ on suppose pj appartient Sj puissance m alors il existe p appartient S puissance m0 tel que p ~∑pj ( j=1…+∞ ).en plus si r est un autre symbole qu’a la méme expansion asymptotique alors ,p-r appartient ∩S puissance m (m appartient r).
Merci d'avance.