Talk:Branching theorem