Chevalley's theorem on constructible sets