Fixed equations inside of Theorems.