Brauer–Cartan–Hua theorem