Talk:Artstein's theorem