Prove that if a game is solvable by iterated strict dominance, it has a unique Nash equilibrium.