El siguiente teorema es válido para funciones convexas que son dos veces diferenciables (y por tanto admiten una forma bilineal que generaliza la matriz hessiana):