Talk:Regularity theorem