Fix naming of Chevalley's theorem