Talk:Anne's theorem