updating theorems environment