On the C∞ Chevalley's theorem