Talk:Serre's criterion for normality