Hall's marriage theorem