Démonstration du programme de spécialité en Terminale S
1. Compatibilité des congruences avec les lois + et x.
2. Compatibilité des congruences avec la mise à la puissance n.
3. Énoncer des théorèmes de Bézout et Gauss avec la démonstration du théorème de Gauss en utilisant le théorème de Bézout.
4. Étant donné quatre points A, B, A' et B' tels que A soit différent de B et A' différents de B', alors il existe une unique similitude directe transformant A en A' et B en B'.
5. Une similitude ayant deux points fixes distincts est soit l'identité, soit une symétrie axiale.
6. L'ensemble des nombres premiers est infini.