fix some references since theorems have moved

I think I did this already somewhere but maybe it got lost in a merge.