Αποστολή με SMS: Automated mathematical induction /