Chevalley's restriction theorem