Talk:Nash's theorem