Αποστολή με SMS: The diamond lemma