Erdős-Szemerédi Sum-Product Theorem