1: \begin{proof}   

2: If $\xi$ is a vector in $\RR^2$, let

3: \[

4:    u_\xi: P_\xi\to \RR

5: \]

6: be the result of translating $u:P\to\RR$ by $\xi$, and let

7: \begin{align*}

8:   &\phi_\xi: P\cap P_\xi \to \RR, \\

9:   &\phi_\xi = u_\xi - v.

10: \end{align*}

11: 

12: Suppose contrary to the theorem that $u-v$ is not constant.  Then there is a point $p$ where $Du(p)\ne Dv(p)$.

13: By Theorem~\ref{scherk-gauss-map-theorem}\eqref{gauss-image-assertion},

14: the image of the Gauss map of the graph of $u$ is the entire upper hemisphere.

15: Equivalently, $Du(\cdot)$ takes every possible value.  Thus there is a $q\in P$ such that $Du(q)=Dv(p)$.

16: Let $\xi_0=p-q$.  Then $p$ is a critical point  of $\phi_{\xi_0}$.

17: 

18: We claim that it is an isolated critical point.  For otherwise $\phi_{\xi_0}$ would be constant near $p$

19: and therefore (by unique continuation) constant throughout $P\cap P_{\xi_0}$, which is impossible.

20: (Note for example that $\phi_{\xi_0}$ is $+\infty$ on some edges of $P\cap P_{\xi_0}$ and $-\infty$

21: on other edges.)

22: 

23: It follows (by Corollary~\ref{morse-family-corollary}, for example)

24: that for every $\xi$ sufficiently close to $\xi_0$, $\phi_\xi$ has a critical point.

25: In particular, there is such a $\xi$ for which $P_\xi$ is in general position with respect to $P$

26: (where ``general position" is as in Proposition~\ref{rado-proposition}.)

27: 

28: However, for such a $\xi$, $\phi_\xi$ cannot have a critical point, a contradiction.  Heuristically, it cannot have 

29: a critical point because $\phi_\xi$ is $+\infty$ on two adjacent sides of its parallelogram domain $P\cap P_\xi$

30: and $-\infty$ on the other two sides.

31: Rigorously, it cannot have a critical point by Proposition~\ref{rado-proposition} below.

32: 

33: (Note that $P$ contains exactly one vertex of $P_\xi$, $P_\xi$ contains exactly one vertex of $P$,

34: and at each of the two points where an edge of $P$ intersects an edge of $P_\xi$, 

35: one of the functions $u$ and $u_\xi$ is $+\infty$

36: and the other is $-\infty$.)

37: \end{proof}

38: