Made the proof of compactness a bit better. Theorem 6 still does not
have an explicit proof, mostly because the proof, when written out in
detail, is very tedious and not much but a reiteration of the
definitions. Maybe I'll add it later.
Added another point to think of.
Merge branch 'master' of github.com:RichardEvans/EL