Talk:Regev's theorem