Talk:Mahaney's theorem