 Chevalley constructibility theorem

The image of a morphism of algebraic varieties is constructible. This replaces the generally false assertion that all morphisms have closed image. Group structure adds the fact that a constructible subgroup is closed.