Speedup theorem