Talk:Derrick's theorem