Finishing Hall's theorem.