Talk:Reider's theorem