Talk:Gerbaldi's theorem