Lower hemicontinuity of the intersection of lower hemicontinuous correspondences

I have been stumped for long by this exercise (3.12(d)) from Stokey and Lucas’s Recursive Methods in Economic Dynamics. Would greatly appreciate any hints.

Let $\phi: X \to Y$ and $\psi: X \to Y$ be lower hemicontinuous correspondences (set-valued functions), and suppose that for all $x \in X$

$$\Gamma(x)=\{y \in Y: y \in \phi(x) \cap \psi(x)\}\neq \emptyset$$

Show that if $\phi$ and $\psi$ are both convex valued, and if $\mathrm{int} \phi(x) \cap \mathrm{int} \psi(x) \neq \emptyset$, then $\Gamma(x)$ is lower hemicontinuous at $x$.

[A correspondence $\Gamma: X \to Y$ is said to be lower hemicontinuous at $x \in X$ if $\Gamma(x)$ is nonempty and if, for every $y \in \Gamma(x)$ and every sequence $x_n \to x$, there exists $N \geq 1$ and a sequence $\{y_n\}_{n=N}^\infty$ such that $y_n \to y$ and $y_n \in \Gamma(x_n)$, all $n \geq N$.

Intuitively this means that the graph of $\Gamma(x)$ cannot suddenly broaden out.]

EDIT: We can assume that $X$ and $Y$ are subsets of $\mathbf{R}^n$.

Solutions Collecting From Web of "Lower hemicontinuity of the intersection of lower hemicontinuous correspondences"

Here is a somewhat detailed outline of an argument that I think works. As this is a homework problem, some of the pieces of the argument do need to be filled in.

Assume we’re in $\mathbb{R}^m$. For fixed $y \in \Gamma(x)$, the fact that $\Gamma(x)$ has a nonempty interior means that there are $m$ points $z_1, z_2, \ldots, z_m$ in the interior of $\Gamma(x)$ such that these $m$ points and $y$ together are affinely independent. Thus you can take sufficiently small balls around each of these $m+1$ points such that the balls do not intersect and that any set consisting of one point from each ball is also affinely independent. Let $z_0 = y$. Since $\phi$ is lower hemicontinuous, for each $z_i$ there exists a sequence $z_{i_n} \to z_i$ and an $N_i$ such that $z_{i_n} \in \phi(x_n)$ and $z_{i_n}$ is inside that small ball around $z_i$ for all $n \geq N_i$. For each $n \geq \max \{N_i\}$, construct the convex hull $C_n$ of $\{z_{0_n}, z_{1_n}$, $z_{2_n}, \ldots, z_{i_n}\}$. Since $\phi$ is convex-valued, $C_n$ is a subset of $\phi(x_n)$. Do the same thing for each $n$ for the $\psi$ function to obtain sets $D_n$. Let $S_n = C_n \cap D_n$. The intersection of the convex hulls of two sets of $m+1$ affinely independent points in $\mathbb{R}^m$ that are pairwise close to each other must be nonempty. (Consider the supporting hyperplanes.) Let $y_n$ be the point in $S_n$ closest to $y$. Since the extreme points of $S_n$ converge to the extreme points of the convex hull of $\{z_0, z_1, z_2, \ldots, z_m\}$, $S_n$ converges as a set to the convex hull of $\{z_0, z_1, z_2, \ldots, z_m\}$. Thus the point in $S_n$ closest to $y$ $(= z_0)$ must converge to $y$; i.e., $y_n \to y$.