The <a href="https://www.google.com/search?q=hall-rado+theorem&rlz=1C1WZPD_enUS397US398&oq=Hall-Rado+&aqs=chrome.2.69i57j0l3.6705j0&sourceid=chrome&ie=UTF-8#q=hall+marriage+theorem">Hall marriage theorem</a> has several relatively easy combinatorial proofs. Are there short analytical or topological reformulations and proofs of that theorem?