f(x)는 임의의 2n차항 다항함수라고 하고
g(x) = e^(-f(h(x))) h(x) = 1/x + 1/(x-1), 0 < x < 1
x = 0, 1 일때 g(x) = 0

그러면 g는 (0,1)에서 미분가능하고 합성함수의 극한으로부터
x -> 0+, 1- 일때 f(h(x)) - > inf,  g(x) -> 0이고 따라서 [0,1]에서 연속.
롤의 정리를 이용하면
g'(c) = g(c)(-f'(h(c))h'(c)) = 0 인 c가 (0,1)에 있음

g(c), h'(c) =/= 0 이므로 f'(h(c)) = f'(a) = 0 인 실수 a가 있고
이제 f'을 임의의 홀수차항 다항함수로 두면됨