Bourbaki marks this one as harder than the rest.
令h为h的g,A子集之分裂嘉当子代数,且s∈Aut(g)使得sA=A。证明存在 t∈ Aut(g,h) 使得 t∣A=s∣A 和 ts−1∈ Aute(g)。 (令a为A在g的交换子,这是g的约子代数,其中sh和h为分裂嘉当子代数;推导出u∈的存在性Aute(a)使得ush=h;表明存在v∈Aute(g)延伸u使得v∣A=IdA;取t=vs.)推出,如果s∈Aut0(g),则存在w∈W(R)使得w∣A=s∣A。