The theorem's significance lies in showing space is "closed" under non-determinism, not in vindicati...
This proposition has not been edited since the history system was added.