Talk:Trombi–Varadarajan theorem