Prove
Proposition 6 ([The number of labels]). If k≥2 , every smooth admissible map…Lemma 5 ([The odd sphere map]). The map F:Sym(V)→ℝ^m is continuous, odd, and…Proposition
The inverse function theorem makes every point of the fiber isolated. The fiber is closed in compact M , hence finite. By excision, H_n(M,M q^ -1 (y)) ≅_ x∈q^ -1 (y) H_n(M,Mx). The fundamental class has coordinate one in each summand. A local diffeomorphism sends each local generator to the generator at y . Naturality of relative homology now gives the assertion. This argument uses no smoothness away from the selected fiber.