Nash equilibrium
Theorem 1. Nash equilibrium exists.