Ajout de la démonstration de S-m-n