Mahaney's Theorem

From dankwiki