Das ist eine etwas ungewöhnliche Variante des Mittelwertsatzs:
f(y1,y2)−f(x1,x2)=(f(y1,y2)−f(x1,y2))+(f(x1,y2)−f(x1,x2)
Andwendung des 1-dim-Mittelwertsatzes auf die erste Differenz liefert die Existenz eines z1∈R mit
f(y1,y2)−f(x1,y2)=(x1−x1)∂1f(z1,y2)
Analog für die 2. Differenz.