Αποστολή με SMS: Basic proof theory /