Αποστολή με SMS: Proof Technology in Mathematics Research and Teaching