Restyle theorem numbering
Add trivial solution environment
Add a first draft of lecture 2