Talk:Hall's theorem