**TI82** TxtView file generated by CalcText - Kouri) SPE3˙3)Theromes B et GIddentité de Bezout d=PGCD(a;b)=>au+bv=1 Theoreme de Bezout a et b premier entre eux=>au+bv=1 Theoreme de Gauss a divise bc et a premier avec b<=> a divise c COnsequences p divise ab<=> p divise a ou p divise b b et c premier entre eux et divisent a<=>bc divise a a/b irreductible<=>a et b premier entre eux Petit theoreme de Fermat: p premier et a non divisible par p <=>a^(p-1)-1 est divisible par p ; a^(p-1)-1 congrus a 1 modulo p <=>a^p-a est divisible par p; a^p congrus a modulo p ˙ë­