New Proof Dramatically Compresses Space Needed for Computation