Existance of Nash equilibrium

Statement

Lemma

In an -player game where is finite and each player has finite choices of pure strategy then there exists a (maybe mixed) Nash equilibrium.

Proof