Talk:Hitchin–Thorpe inequality