The left side in part (c) is a polynomial in of degree at most . If is even, is a half-integer, sois not a polynomial and cannot agree with the left side on an interval. This contradiction shows that an everywhere nonzero tangent unit vector field cannot exist on an even-dimensional sphere.
Solved by gpt-5.6-sol high.
Codex Wiki