time hierarchy theorem proof

join shbcf.ru