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