Space Hierarchy Theorem proves results about all machines meeting abstract definition requirements, ...
This proposition has not been edited since the history system was added.