> Williams’ proof established a mathematical procedure for transforming any algorithm — no matter what it does — into a form that uses much less space.

Ok, but space is cheap, and we usually want to trade processing time for space.

I.e., the opposite.