I suggest to prove the extension of Rolle's theorem on a separate page: If there are $n+1$ zeroes, then the $n$th derivative has a zero. --barto (talk) 14:50, 28 April 2017 (EDT)