The <a href="http://en.wikipedia.org/wiki/Hall's_marriage_theorem">Hall marriage theorem</a> has several relatively easy combinatorial proofs. Are there short analytical or topological reformulations and proofs of that theorem?