https://tex.stackexchange.com/questions/17449/annoying-space-before-the-first-item-in-an-enumeration-which-starts-a-theorem