Savitch's theorem

Etymology
Proved by Walter Savitch in 1970.

Proper noun

 * 1)  A theorem giving a relationship between deterministic and non-deterministic space complexity.