Cartan–Dieudonné theorem