For every , the torus action map
is an automorphism of . It induces isomorphisms of local rings, so it carries smooth points to smooth points and singular points to singular points. The singular locus is consequently invariant under . If it contains one point , it contains the entire orbit ; hence the torus-invariance of the singular locus of a toric variety proves that is a union of the orbits in the orbit-cone correspondence.