- fixed a bug where duplicate records were being inserted to db with statement theorems
- fixed a bug where part_theorem titles were not showing up in view