Αποστολή με SMS: Λάμβδα λογισμός και αποδείξεις, ισομoρφισμός Curry-Howard