cauchys mean value theorem proof