Tweaked heading of examples sheets
Load bbold package for indicator functions
Another go at theorems that actually works