Talk:Splitting theorem