Αποστολή με SMS: Elementary induction on abstract structures