Undiscounted nonterminating stochastic games in which the state and action spaces are finite have a value.