add speedup theorem from lolcathost on ##programming