Corretta dimostrazione ASPACE(f) = DTIME(c^f).