Define the concept of Nash Equilibrium within the context of non-cooperative games. Explain the conditions required for a set of strategies to constitute a Nash Equilibrium, where no player benefits by unilaterally changing their strategy. Discuss the existence theorem proved by John Nash and its limitations regarding efficiency and uniqueness.