Blum's speed-up theorem

1. REDIRECT Blum's speedup theorem

{{R from modification}}