Talk:Dudley's theorem