Editing Whitney immersion theorem (section)

==Further results==
[[William S. Massey]] {{Harv|Massey|1960}} went on to prove that every ''n''-dimensional manifold is [[cobordism|cobordant]] to a manifold that immerses in <math>S^{2n-a(n)}</math> where <math>a(n)</math> is the number of 1's that appear in the binary expansion of <math>n</math>. In the same paper, Massey proved that for every ''n'' there is manifold (which happens to be a product of real projective spaces) that does not immerse in <math>S^{2n-1-a(n)}</math>.  

The conjecture that every ''n''-manifold immerses in <math>S^{2n-a(n)}</math> became known as the '''immersion conjecture'''. This conjecture was eventually solved in the affirmative by {{harvs|first=Ralph|last=Cohen|authorlink=Ralph Louis Cohen|year=1985|txt}}.