dougalls theorem