Funny, I went to bed last night wondering about IVT, as it was about the only result on continuous functions I could come up with. Will have to ponder it more to see why that may be though.
Heine Borel isn't a statement about _functions_ though, unless I'm mistaken, so hadn't considered it in this c...
