  We characterize the initial positions from which the first player has a
winning strategy in a certain two-player game. This provides a generalization
of Hall's theorem. Vizing's edge coloring theorem follows from a special case.
