Αποστολή με SMS: Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων