Envoyer par SMS: Théorèmes, l'ordinateur fait ses preuves