Αποστολή με SMS: Proof Theory