move theorems to get previous commit to build