How to prove the existence of a pure Nash equilibrium? I have a game as given by the table below. I would like to prove that the game has always at least one pure Nash equilibrium (NE). I used a computer program and in fact the game has a pure NE. So, I am claiming the existence of at least one pure NE.

I looked in the internet but most of the paper that I read are talking about general games.

I need to know what do I need to know and to do in order to prove my claim? I do not want to give me the whole answer (if you have any), just give the tools and some hints and that would be appreciated. Also, can you give, in general, situation, how to prove the existence of a pure NE? Thank you.

Here is the game:

$$\begin{array}{c|c|c|c|} 
P1\backslash P2 &amp; \text{$a_1$} &amp; \text{$a_2$} &amp; \text{$a_3$} \\ \hline
\text{$a_1$} &amp; (-1, -1) &amp; (p, q)   &amp; (r, 0) \\ \hline
\text{$a_2$} &amp; (s, t)   &amp; (-1, -1) &amp; (x, 0) \\ \hline
\text{$a_3$} &amp; (0, y)   &amp; (0, z)   &amp; (0, 0) \\ \hline
\end{array}$$

You can see that it is a 2 players ($P1$ is the row player and $P2$ is the column player) game where each player has the action space $\{a_1, a_2, a_3\}$. Here $p,q,r,s,t,x,y,z$ are integers in the set $\{-1, 1\}$ which are related to each others by: 

If p == 1 then r = 1
If s == 1 then x = 1
If q == 1 then z = 1
If t == 1 then y = 1


My algorithm that I used is a brute force one that search for all possible values of $p,q,r,s,t,x,y,z$ and then see for each possible value if there is a pure NE or not.
If p=q=s=t=−1, then it is easy to see that a pure NE can be reached by local search starting from (a3, a3).  So in the rest of the proof, assume that at least one of p, q, s, and t is equal to 1.

If p=q=1, then (a1, a2) is a pure NE.  Similarly, if s=t=1, then (a2, a1) is a pure NE.

In the remaining cases, at least one of the pairs (p, q), (q, p), (s, t), and (t, s) is equal to (1, −1).  By symmetry, we may assume without loss of generality that p=1 and q=−1.  By assumption, r=1.  Then (a1, a3) is a pure NE.