Hall’s theorem