Fine dimostrazione ATIME \subseteq DSPACE.