petite théorème

une petite théorème inventé par mt2sr
soit a, b,c m des entiers naturels non nuls

* les facteurs premiers de a figurent dans b
* m est un multiple de b

alors si c|a et c|m+1 alors c=1


on appliquons cette théorème on peut montrer facilement:

pgcd((n-s)^q(n)^p,n!+1)=1

@+

Le théorème que tu as inventé n'est qu'une conséquence du th. de Bezout car pgcd(a,m+1)=1

théorème de GAUSS est une conséquence de th. de Bezout