Talk:Cartan–Brauer–Hua theorem