Talk:Borel–de Siebenthal theory