Dougall's theorem