Erdős–Simonovits-tétel