Αποστολή με SMS: Efficient checking of polynomials and proofs and the hardness of approximation problems