Hall's theorem