Mahaney's Theorem