Scritta dimostrazione di NSPACE(f)\subseteq ATIME(f^2).