Sean subconjuntos abiertos de , tales que el segmento está contenido en . Si es diferenciable en todos los puntos de , entonces existe tal que: