Cauchy mean value theorem