Gobblecoque

I have also encountered this issue. Unfortunately, I happened to steal the Theorems long before I tried to retrieve the scroll of Wael, so loading an older save and doing the quests in reverse order isn't really feasable.