Adds section on theorems