Chevalley–Iwahori–Nagata theorem

Chevalley–Iwahori–Nagata theorem