Chevalley%27s theorem on constructible sets