title: Teorema de Savitch
text: # Teorema de Savitch
  
  En teoría de la complejidad computacional, el teorema de Savitch establece que:
  * NSPACE(f(n)) $\subseteq$ DSPACE(f²(n))
  * Walter Savitch (1970)
  Como corolario, se tiene que PSPACE = NPSPACE.