fix failed referencing theorem 2.5.1 in section 2.5

This pull request fixes a failed referencing in section 2.5.
![failed-referencing](https://f.cloud.github.com/assets/2360542/1274098/fbb0aff4-2d6f-11e3-96de-9d64b5c875a6.png)