Αποστολή με SMS: Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems